Publications

Transfinite Induction Principles and Iterated Reflection Principles
with Lev Beklemishev
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik - Volume 72, 2026