Модальная логика 2020. Лекция 22 | Евгений Золин | Мехмат МГУ | 2021.04.30

33 Просмотры

  • Спасибо! Поделитесь с друзьями!

    Вам не понравилось видео. Спасибо за то что поделились своим мнением!

admin
Издатель
Свойства ультра-расширения модели Крипке: модальная насыщенность, модальная компактность. Супер-модель шкалы Крипке, модальная различимость ее ультра-расширения. Лемма о покрытии. Лемма о переносе. Лемма об омега-насыщении моделей первого порядка.

Теорема Гольдблатта – Томасона (1974): Элементарный класс шкал модально определим тогда и только тогда, когда он замкнут относительно взятия несвязных сумм шкал, p-морфных образов шкал, порождённых подшкал, а дополнение класса замкнуто относительно взятия ультра-расширения шкал. Контрпример к аналогу этого критерия для классов конечных шкал.

Лектор:
Евгений Евгеньевич Золин, к.ф.-м.н., с.н.с.
Кафедра математической логики и теории алгоритмов.
Механико-математический факультет МГУ им. Ломоносова.

Годовой спецкурс «Модальная логика».
Конспекты и слайды — на сайте:
http://lpcs.math.msu.su/~zolin/ml/
Комментарии выключены

Следующее