Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теории и модели

0:00:09 1. Напоминание построения нормальной модели. Корректное определение модели 0:09:59 2. Лемма о нормализации 0:12:40 3. Теорема 7.4. Об оцененных термах и об оцененных формулах 0:16:55 4. Сильно категоричные теории. Теорема о следствии полноты из сильной категоричности 0:20:17 5. Примеры сильно категоричных теорий 0:31:58 6. Теорема 9.3.Условие конечной аксиоматизируемости и сильной категоричности теории 0:45:38 7. Лемма 9.4.Условие истинности формулы задающей модель 1:06:04 8. Универсальное замыкание 1:09:23 9. Лемма 9.5. О равносильности универсальных замыканий 1:12:28 10. Общезначимая формула. Равносильные формулы 1:16:29 11. Лемма 9.6 Об отношении эквивалентности в пространстве формул 1:19:42 12. Лемма 9.7 О тавтологиях 1:22:25 13. Лемма 9.8. Список равносильных преобразований