Video library: G. Jager, Strict $\Pi^1_1$-reflection: A proof-theoretic perspective

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Logical Perspectives 2021: Conference
June 10, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online

Strict $\Pi^1_1$-reflection: A proof-theoretic perspective

G. Jäger

Supplementary materials:

conference_jaeger.pdf (106.6 Kb) ,

conference_jaeger_slides.pdf (264.8 Kb)

Language: English