MIPT-ML-20-Sem-20a

Математическая логика в МФТИ для ПМФ. Доп. семинар. Темы: построение и свойства предельного кардинала; построения по трансфинитной рекурсии; теорема Кёнига и ее приложения.