
SEMINARS 
Seminars
"Proof Theory" and "Logic Online Seminar"



Dilators, Reflection, and Forcing: A ProofTheoretic Analysis of F. N. Pakhomov^{ab} ^{a} Steklov Mathematical Institute of Russian Academy of Sciences, Moscow ^{b} Ghent University 

Abstract: In this talk I will sketch a new approach to ordinal analysis of Language: English 