Borja Sierra Miranda (University of Bern) выступит с докладом на семинаре НУГ "Доказательства и модели"
Borja Sierra Miranda (University of Bern, Institute of Computer Science, Logic and Theory Group) выступит с докладом "Non-wellfounded master modality: from cut admissibility to cut elimination" на семинаре "Современные проблемы математической логики" 11 октября 2024 г.
30 сентября
2024
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем участника НУГа "Доказательства и модели" Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
9 сентября
2023