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

Лекция 8. Нормальные модели

  1. 00:09Равносильность моделей. Теорема.
  2. 13:18Теорема о следствии элементарной эквивалентности моделей из их изоморфности.
  3. 25:53Примеры моделей.
  4. 48:16Пример. Существование неарифметических подмножеств натуральных чисел.
  5. 55:53Лемма 8.3. Условие верности оцененной формулы для модели.
  6. 01:10:33Лемма 8.4. Верность аксиом в нормальной модели.
  7. 01:24:01Лемма 8.5. Условие корректности определения модели.