Введение в математическую логику 6. Элиминация кванторов/элементарная эквивалентность моделей

00:00:00 - Начало 00:00:50 - Повторение теории 00:14:06 - Система неравенств 00:28:44 - Теорема Зайденберга-Тарского 00:43:19 - Арифметика Пресбургера 00:47:14 - Элементарная эквивалентность моделей 00:53:19 - Игра Эренфойхта 01:01:34 - Примеры игры 01:10:04 - Пример посложнее Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: