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