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

  1. 00:15Сохранение истинности при факторизации. Случай кванторов
  2. 10:37Поля характеристики 0. Поля конечной характеристики
  3. 20:03Вполне упорядоченные множества. Бесконечные структуры
  4. 31:54Конечная аксиоматизируемость. Полные теории. Критерий полноты
  5. 41:28Разрешимые теории. Категоричные теории. Теорема Лося — Воота
  6. 48:40Теория DLO (плотного линейного порядка без крайних элементов)
  7. 01:02:38Элиминация кванторов
  8. 01:18:51Язык для описания вычислений. Аксиомы для команд. Другие аксиомы
  9. 01:30:07Теория с аксиомами для команд и аксиомой Пеано. Неразрешимые теории. Неразрешимость логического следования