807-е заседание

Доклады:

    Хлестова Елизавета Ивановна (г. Новосибирск) — Разрешимость и арифметичность счетных моделей теорий с конечным числом счетных моделей (проблема М.Морли).
    Дата: 25.09.25.

© 2025 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram