Сегодня, 8 июня 2026 г., в 16:00 пройдет доклад:
A. Weiermann, Logical limit laws and analytic combinatorics for the proof-theoretic ordinal of PA.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, online
#СеминарыМИАН
Post #6440
22.9K