Модальная логика 2021 №22 Свойства ультра-расширения модели. Теорема Гольдблатта-Томасона | Е. Золин

2021.04.30 Свойства ультра-расширения модели Крипке: модальная насыщенность, модальная компактность. Супер-модель шкалы Крипке, модальная различимость ее ультра-расширения. Лемма о покрытии. Лемма о переносе. Лемма об омега-насыщении моделей первого порядка. Теорема Гольдблатта – Томасона (1974): Элементарный класс шкал модально определим тогда и только тогда, когда он замкнут относительно взятия несвязных сумм шкал, p-морфных образов шкал, порождённых подшкал, а дополнение класса замкнуто относительно взятия ультра-расширения шкал. Контрпример к аналогу этого критерия для классов конечных шкал. Лектор: Евгений Евгеньевич Золин, к.ф.-м.н., с.н.с. Кафедра математической логики и теории алгоритмов. Механико-математический факультет МГУ им. Ломоносова. Годовой спецкурс «Модальная логика». Конспекты и слайды — на сайте: http://logic.math.msu.ru/staff/zolin/ml/