Video library: D. R. Hirschfeldt, Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics

VIDEO LIBRARY


Logical Perspectives 2021: Conference June 11, 2021 19:00, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online

Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics D. R. Hirschfeldt
Language: English