8 citations to 10.2178/jsl/1045861504 (Crossref Cited-By Service)

1. Lev D. Beklemishev, “Provability algebras and proof-theoretic ordinals, I”, Annals of Pure and Applied Logic, 128, no. 1-3, 2004, 103  
2. 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  
3. Paul Shafer, “Honest elementary degrees and degrees of relative provability without the cupping property”, Annals of Pure and Applied Logic, 168, no. 5, 2017, 1017  
4. Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17, no. 2, 2011, 272  
5. Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, “Fragments of Arithmetic and true sentences”, Mathematical Logic Quarterly, 51, no. 3, 2005, 313  
6. Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, 3210, Computer Science Logic, 2004, 355  
7. 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  
8. Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara-Martín, “On Conditional Axioms and Associated Inference Rules”, Axioms, 13, no. 5, 2024, 306