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



Dilators, Reflection, and Forcing: A ProofTheoretic Analysis of F. N. Pakhomov^{} 

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