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