x 1.00
Скачать видео

Лекция 9. Теории и модели

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