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, no. 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, no. 7-8, 2020, 979
E. A. Kolmakov, “On a Strengthening of the Non-Isomorphism Theorem for Provability Algebras”, Dokl. Math., 104, no. 1, 2021, 180
Jeremy Avigad, “Saturated models of universal theories”, Annals of Pure and Applied Logic, 118, no. 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, no. 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, no. 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, no. 6, 2017, 1247