40 citations to 10.1016/S0168-0072(96)00045-0 (Crossref Cited-By Service)
  1. EMANUELE FRITTAION, “A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC”, Bull. symb. log, 28, no. 3, 2022, 451  crossref
  2. V. YU. SHAVRUKOV, “Isomorphisms of Diagonalizable Algebras”, Theoria, 63, no. 3, 1997, 210  crossref
  3. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  crossref
  4. A. Visser, “Can We Make the Second Incompleteness Theorem Coordinate Free?”, Journal of Logic and Computation, 21, no. 4, 2011, 543  crossref
  5. Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, 3210, Computer Science Logic, 2004, 355  crossref
  6. W. Dean, “Arithmetical Reflection and the Provability of Soundness”, Philosophia Mathematica, 23, no. 1, 2015, 31  crossref
  7. Marta Bílková, Dick de Jongh, Joost J. Joosten, “Interpretability in PRA”, Annals of Pure and Applied Logic, 161, no. 2, 2009, 128  crossref
  8. 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  crossref
  9. JAMES WALSH, “AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS”, J. symb. log., 89, no. 1, 2024, 80  crossref
  10. 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  crossref
Previous
1
2
3
4
Next