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

Лекция 12. Итерированный форсинг. Теорема Истона. Булевозначные модели

  1. 01:45Булевы алгебры и пространства Стоуна (повторение)
  2. 03:20Булевозначные модели
  3. 06:29Построение булевозначной модели M^B
  4. 41:12Факторизация по ультрафильтру
  5. 53:45При чём тут вынуждение
  6. 59:36Итерированный форсинг