Grigorii (Grisha) Stepanov

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

About me:

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

My current research is based 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