Введение в математическую логику 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 - Исчисление высказываний Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: