10 citations to 10.1111/j.1755-2567.1997.tb00744.x (Crossref Cited-By Service)

1. L. D. Beklemishev, Turing’s Revolution, 2015, 225  
2. Haruka Kogure, Taishi Kurahashi, “On the conservation results for local reflection principles”, Journal of Logic and Computation, 2024, exad076  
3. Anton Freund, “Slow reflection”, Annals of Pure and Applied Logic, 168, № 12, 2017, 2103  
4. Evan Goris, “Interpolation and the Interpretability Logic of PA”, Notre Dame J. Formal Logic, 47, № 2, 2006  
5. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  
6. Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, № 2, 2005, 3  
7. Taishi Kurahashi, “Henkin sentences and local reflection principles for Rosser provability”, Annals of Pure and Applied Logic, 167, № 2, 2016, 73  
8. A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín, “On the Optimality of Conservation Results for Local Reflection in Arithmetic”, J. symb. log., 78, № 4, 2013, 1025  
9. ANTON FREUND, “A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH”, The Review of Symbolic Logic, 15, № 4, 2022, 880  
10. Michael Glanzberg, “TRUTH, REFLECTION, AND HIERARCHIES”, Synthese, 142, № 3, 2005, 289