Дополнительные главы классической логики
Advanced course in classical logic
(Дополнительные главы классической логики)
(полугодовой спецкурс на английском языке)
читает к.ф.-м.н., с.н.с. Евгений Золин
Конспекты, слайды, программа, задачи
Видеозаписи лекций (весна 2021 года)
Внимание! Многие ссылки ниже не работают, будут исправлены позже.
Конспект лекций: [ pdf ] (пополняется каждый год)
Весна 2021
Курс будет читаться дистанционно.
Весна 2020
Видео-материалы по темам, близким к данному курсу
- Proof of Cook–Levin theorem (video lecture)
- Ultraproducts as a bridge between discrete and continuous analysis
— a lecture by Terry Tao at Simons Institute. - Finite Model Theory —
five lectures by Anuj Dawar at Simons Institute.
Литература
- Верещагин Н.К., Шень А.Х. Языки и исчисления, 4-е издание, Москва, МЦНМО, 2014. [доступно в сети:
pdf ] - Chang C.C., Keisler H.J. Model Theory, North-Holland Pub. Co., 1990. [доступно в сети]
Кейслер Г., Чэн Ч.Ч. Теория моделей, Москва, Мир, 1977. [доступно в сети] - Sikorski R. Boolean Algebras, 3rd edition, Springer, 1969. [доступно в сети]
Сикорский Р. Булевы алгебры, Москва, Мир, 1969. [доступно в сети] - Bell J.L., Slomson A.B. Models and Ultraproducts: An Introduction, North-Holland Pub. Co., 1969. [доступно в сети]
- Keisler H.J. Model Theory for Infinitary Logic. North-Holland Pub. Co., 1971. [доступно в сети]
- Zolin E. Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi, Studia Logica, 102(5):1021-1039, 2014.
[ pdf ] - Bokov — статьи (напишу позже)
- Leonid Libkin. Elements of Finite Model Theory. 2004. Главы 1 и 3. [доступно в сети]
- Ebbinghaus, Flum. Finite Model Theory. 2006. Глава 2. [доступно в сети]
Отдельный текст [ pdf ] покрывает следующие темы
(но отличается от изложения на лекциях):
— фильтры и ультрафильтры, в том числе счетно-неполные;
— ультрапроизведения и теорема Лося;
— и многое другое, что можно пропустить.