Grigorii (Grisha) Stepanov [he/him]

PhD. Student at TU Wien, Austria
Е-маil: grigorii [dоt] stepanov [аt] proton [dоt] me
PGP public key: [plain text] [.asc file]

About me:

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

My current research focus is rambling between provability logic GLP and its interactions with
large cardinals, inner models and (models of) determinacy.

Publications.

Talks.

Conferences and Summer Schools.


Related:

Poems, translations.

Miscellaneous.





G. Stepanov 13.3.2026