Математическая логика, 1Б, 1 Поток, Лекция 30.04., Гончаров С. С.

0:00 Теорема Мальцева 3:16 Локальная теорема Мальцева 7:41 Теорема Мальцева о компактности 10:50 Случай множества предложений 14:02 Определение множества индексов для семейства моделей 18:46 Построение фильтра 24:36 Расширение до ультрафильтра 27:39 Выполнимость предложений 33:55 Аксиоматизируемые классы 39:50 Модель из аксиоматизируемого класса 43:39 Полная диаграмма модели и элементарные подмодели 1:13:01 Теорема о конечной аксиоматизируемости 1:14:08 Применение теоремы компактности Мальцева