Введение в математическую логику 7. Cтратегии моделей в играх Эренфойхта

00:00:00 - Начало
00:02:52 - Теорема о элементарной эквивалентности моделей
00:07:12 - Кванторная глубина
00:09:02 - Лемма о стратегиях моделей в игре Эренфойхта
00:13:30 - Доказательство
00:25:03 - Лемма о существовании конечного множества неравносильных формул
00:28:09 - Доказательство второго пункта первой теоремы
00:49:38 - Примеры применения леммы
01:11:24 - Исчисление высказываний

Дата лекции: 19.10.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван

Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z

Видео Введение в математическую логику 7. Cтратегии моделей в играх Эренфойхта канала Лекторий ФПМИ