Видеотека: G. Jager, Strict $\Pi^1_1$-reflection: A proof-theoretic perspective

ВИДЕОТЕКА


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

Strict $\Pi^1_1$-reflection: A proof-theoretic perspective G. Jäger
Язык доклада: английский