Grigorii (Grisha) Stepanov

PhD. Student at TU Wien, Austria
Е-маil: stepanov [dоt] gs [аt] pm [dоt] 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.