Grigorii (Grisha) Stepanov

PhD. Student at TU Wien, Austria
E-mail: stepanov [dot] gs [at] pm [dot] me

About me:

Research interests: Set Theory, Modal Logic, Foundations, Computability, Proof Theory

My current research dwells around provability logic GLP and its interactions with large cardinals.

Publications.

Talks.

Conferences and Summer Schools.


Related:

Poems, translations.

Miscellaneous.





G. Stepanov 25.07.23