ИМ СО РАН
Вход для сотрудников

Семинар «Конструктивные модели»

Архив семинара

М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей (продолжение).

М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей.

Е. И. Хлестова
Реферат статьи:
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 (продолжение).

Е. И. Хлестова
Реферат статьи:
T. S. Millar
Persistently finite theories with hyperarithmetic models.

Е. И. Хлестова
Реферат статьи:
Robert C. Reed
A decidable Ehrenfeucht theory with exactly two hyperarithmetical models.

Список семинаров

Информация о семинаре

Информация о семинаре

Секретарь семинара:
П. Е. Алаев

Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ

***

Семинары ИМ СО РАН