E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing Provable n-Provability”, Dokl. Math., 98, № 3, 2018, 582
L. D. Beklemishev, “Conservativity Spectra and Joosten–Fernández Model”, Dokl. Math., 106, № 1, 2022, 213
Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, № 6, 2016, 1225
Joost J. Joosten, “Consistency statements and iterations of computable functions in IΣ1 and PRA”, Arch. Math. Logic, 49, № 7-8, 2010, 773
JOOST J. JOOSTEN, “MÜNCHHAUSEN PROVABILITY”, J. symb. log., 86, № 3, 2021, 1006
Kentaro Fujimoto, “Classes and truths in set theory”, Annals of Pure and Applied Logic, 163, № 11, 2012, 1484
Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
Marta Bílková, Dick de Jongh, Joost J. Joosten, “Interpretability in PRA”, Annals of Pure and Applied Logic, 161, № 2, 2009, 128
Anton Freund, “Proof lengths for instances of the Paris–Harrington principle”, Annals of Pure and Applied Logic, 168, № 7, 2017, 1361
Kentaro Fujimoto, “Relative Truth Definability of Axiomatic Truth Theories”, Bull. symb. log, 16, № 3, 2010, 305