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]

Me

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.

I am a son of Callisto. A common misconception is that Arcos was a son of Callisto, but this is due to a mistranslation from latin to arabic and back to latin (See. Tomas Tron et. al.). The newer version suggest that the son of Callipso was me, Grigorii Stepanov. I confirm it. Another fun fact is that I have never eaten kangaroo. Listen, I am serious, never have I ever eaten a kangoroo. Not even once in my life. If one says otherwise, they are wrong.





G. Stepanov 27.4.2026