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, № 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, № 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, № 5, 2017, 1017  
4. Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17, № 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, № 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, № 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, № 5, 2024, 306