Матлогика 21. Изоморфизм структур. Логика предикатов

00:00 - Повторение прошлой лекции 02:15 - Изоморфизм двух структур 07:40 - Th 1 о значении формулы при изоморфизме 33:10 - Давайте напомним, что значит выразимость отношения в структуре 34:40 - Пример 38:00 - Автоморфизм структуры 38:40 - Следствие 2 Где было первое? Не знаю). Все выразимые множества сохраняются любыми автоморфизмами 43:14 - Пример 48:35 - Продолжаем вводить полезные человеческие обозначения 49:05 - Двойной штопор от лектора 49:10 - Продолжаем вводить полезные человеческие обозначения. φ истинно в M на наборе а 50:40 - Элементарная эквивалентность двух структур 51:20 - Ещё одно определение. Предложения 52:35 - Элементарная эквивалентность двух структур 55:00 - Следствие 3. Из изоморфности структур следует их элементарная эквивалентность 58:05 - Обратное утверждение неверно 1:00:20 - Логика первого порядка или Логика предикатов, что то же самое 1:02:00 - Общезначимость формулы 1:02:55 - Пример. Быть или не быть? 1:06:25 - Выполнимость формулы 1:07:20 - Логическая эквивалентность формул 1:09:00 - Лемма 4. Выразимость понятий общезначимости, выполнимости и эквивалентности друг через друга