Плиско В.Е. - Введение в математическую логику - 12. Теория моделей

00:00:15 Сохранение истинности при факторизации. Случай кванторов 00:10:37 Поля характеристики 0. Поля конечной характеристики 00:20:03 Вполне упорядоченные множества. Бесконечные структуры 00:31:54 Конечная аксиоматизируемость. Полные теории. Критерий полноты 00:41:28 Разрешимые теории. Категоричные теории. Теорема Лося — Воота 00:48:40 Теория DLO (плотного линейного порядка без крайних элементов) 01:02:38 Элиминация кванторов 01:18:51 Язык для описания вычислений. Аксиомы для команд. Другие аксиомы 01:30:07 Теория с аксиомами для команд и аксиомой Пеано. Неразрешимые теории. Неразрешимость логического следования Ссылка на плейлист: #математическаялогика