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