00:12:42 Основная теорема (определимости и истинности) 00:14:27 ZFC в M[G] 00:35:43 Первая теорема о сохранении кардиналов 00:56:42 Лемма о дельта-системе 01:08:12 Совместимость континуум-гипотезы Ссылка на плейлист:
Hide player controls
Hide resume playing