David Fernández-Duque, Joost J. Joosten, “The omega-rule interpretation of transfinite provability logic”, Annals of Pure and Applied Logic, 169, no. 4, 2018, 333
Torkel Franzén, “Transfinite Progressions: A Second Look at Completeness”, Bull. symb. log., 10, no. 3, 2004, 367
Per Lindström, 10, Aspects of Incompleteness, 1997, 52
James Walsh, “Evitable iterates of the consistency operator”, COM, 12, no. 1, 2023, 59
Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, no. 6, 2016, 1225
FEDOR PAKHOMOV, JAMES WALSH, “REFLECTION RANKS AND ORDINAL ANALYSIS”, J. symb. log., 86, no. 4, 2021, 1350
Lev D. Beklemishev, Albert Visser, “On the limit existence principles in elementary arithmetic and Σn0-consequences of theories”, Annals of Pure and Applied Logic, 136, no. 1-2, 2005, 56
Kentaro Fujimoto, “Classes and truths in set theory”, Annals of Pure and Applied Logic, 163, no. 11, 2012, 1484
ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, no. 1, 2019, 205