Е. И. Хлестова
Сложность предельных моделей эренфойхтовых теорий.
Архив семинара
Цзинхао Сян
Счётно-категоричная теория безатомных булевых алгебр с выделенным идеалом.
Цзинхао Сян
Элементарная эквивалентность счётных безатомных булевых алгебр с выделенным идеалом.
П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 5).
П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 4).
П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 3).
П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 2).
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
