Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 7 октября, 14:00
Где: Доклад будет онлайн, мы организуем трансляцию в МФТИ, Административный корпус, ауд.322
Доклад:
С.В. Судоплатов (Новосибирск),
"Классификационные характеристики счетных моделей полных теорий и проблема Лахлана"
Планируется представить обзор классификационных результатов о счетных моделях полных теорий относительно предпорядков Рудин-Кейслера и функций распределения числа предельных моделей, задающихся этими предпорядками. Будет приведен список основных структурных свойств эренфойхтовых теорий, т.е. теорий имеющих конечное, но большее единицы число попарно неизоморфных счетных моделей. Будет рассмотрена синтаксическая генерическая конструкция, обобщающая конструкцию Фраиссе и конструкцию Хрушовского и приводящая к решению проблемы Лахлана о существовании стабильных эренфойхтовых теорий. Будет показано, что класс стабильных эренфойхтовых теорий включает теории, имеющие произвольные заданные предпорядки Рудин-Кейслера и функции распределения числа предельных моделей.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 7 октября, 14:00
Где: Доклад будет онлайн, мы организуем трансляцию в МФТИ, Административный корпус, ауд.322
Доклад:
С.В. Судоплатов (Новосибирск),
"Классификационные характеристики счетных моделей полных теорий и проблема Лахлана"
Планируется представить обзор классификационных результатов о счетных моделях полных теорий относительно предпорядков Рудин-Кейслера и функций распределения числа предельных моделей, задающихся этими предпорядками. Будет приведен список основных структурных свойств эренфойхтовых теорий, т.е. теорий имеющих конечное, но большее единицы число попарно неизоморфных счетных моделей. Будет рассмотрена синтаксическая генерическая конструкция, обобщающая конструкцию Фраиссе и конструкцию Хрушовского и приводящая к решению проблемы Лахлана о существовании стабильных эренфойхтовых теорий. Будет показано, что класс стабильных эренфойхтовых теорий включает теории, имеющие произвольные заданные предпорядки Рудин-Кейслера и функции распределения числа предельных моделей.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический