Andrés Cordón-Franco, F. Félix Lara-Martín, “Semi-honest subrecursive degrees and the collection rule in arithmetic”, Arch. Math. Logic, 63, № 1-2, 2024, 163
Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, 3210, Computer Science Logic, 2004, 355
Evgeny Kolmakov, “Local reflection, definable elements and 1-provability”, Arch. Math. Logic, 59, № 7-8, 2020, 979
E. A. Kolmakov, “On a Strengthening of the Non-Isomorphism Theorem for Provability Algebras”, Dokl. Math., 104, № 1, 2021, 180
Jeremy Avigad, “Saturated models of universal theories”, Annals of Pure and Applied Logic, 118, № 3, 2002, 219
L. D. Beklemishev, Turing’s Revolution, 2015, 225
EVGENY A. KOLMAKOV, “ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS”, The Review of Symbolic Logic, 17, № 1, 2024, 206
Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín, “On axiom schemes for T-provably ${\Delta_{1}}$ Δ 1 formulas”, Arch. Math. Logic, 53, № 3-4, 2014, 327
Ali Enayat, Tin Lok Wong, “Unifying the model theory of first-order and second-order arithmetic via WKL0⁎”, Annals of Pure and Applied Logic, 168, № 6, 2017, 1247