Видеотека: D. R. Hirschfeldt, Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics

ВИДЕОТЕКА


Logical Perspectives 2021: Conference 11 июня 2021 г. 19:00, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online

Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics D. R. Hirschfeldt
Язык доклада: английский