А. В. Нечёсов
Полиномиальная вычислимость в семантическом программировании (продолжение).
Архив семинара
А. В. Нечёсов
Полиномиальная вычислимость в семантическом программировании.
М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей (продолжение).
М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей.
Е. И. Хлестова
Реферат статьи:
Robert C. Reed
A decidable Ehrenfeucht theory with exactly two hyperarithmetical models (продолжение).
Е. И. Хлестова
Реферат статьи:
T. S. Millar
Persistently finite theories with hyperarithmetic models (продолжение).
Е. И. Хлестова
Реферат статьи:
T. S. Millar
Persistently finite theories with hyperarithmetic models (продолжение).
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
