#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 7 октября в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчики: С.В. Судоплатов (Новосибирск)

Название: Классификационные характеристики счетных моделей полных теорий и проблема Лахлана

Аннотация.
Планируется представить обзор классификационных результатов о счетных моделях полных теорий относительно предпорядков Рудин-Кейслера и функций распределения числа предельных моделей, задающихся этими предпорядками. Будет приведен список основных структурных свойств эренфойхтовых теорий, т.е. теорий имеющих конечное, но большее единицы число попарно неизоморфных счетных моделей. Будет рассмотрена синтаксическая генерическая конструкция, обобщающая конструкцию Фраиссе и конструкцию Хрушовского и приводящая к решению проблемы Лахлана о существовании стабильных эренфойхтовых теорий. Будет показано, что класс стабильных эренфойхтовых теорий включает теории, имеющие произвольные заданные предпорядки Рудин-Кейслера и функции распределения числа предельных моделей.