44 citations to 10.1007/s00153-002-0158-7 (Crossref Cited-By Service)
  1. E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing Provable n-Provability”, Dokl. Math., 98, no. 3, 2018, 582  crossref
  2. L. D. Beklemishev, “Conservativity Spectra and Joosten–Fernández Model”, Dokl. Math., 106, no. 1, 2022, 213  crossref
  3. Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, no. 6, 2016, 1225  crossref
  4. Joost J. Joosten, “Consistency statements and iterations of computable functions in IΣ1 and PRA”, Arch. Math. Logic, 49, no. 7-8, 2010, 773  crossref
  5. JOOST J. JOOSTEN, “MÜNCHHAUSEN PROVABILITY”, J. symb. log., 86, no. 3, 2021, 1006  crossref
  6. Kentaro Fujimoto, “Classes and truths in set theory”, Annals of Pure and Applied Logic, 163, no. 11, 2012, 1484  crossref
  7. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  crossref
  8. Marta Bílková, Dick de Jongh, Joost J. Joosten, “Interpretability in PRA”, Annals of Pure and Applied Logic, 161, no. 2, 2009, 128  crossref
  9. Anton Freund, “Proof lengths for instances of the Paris–Harrington principle”, Annals of Pure and Applied Logic, 168, no. 7, 2017, 1361  crossref
  10. Kentaro Fujimoto, “Relative Truth Definability of Axiomatic Truth Theories”, Bull. symb. log, 16, no. 3, 2010, 305  crossref
Previous
1
2
3
4
5
Next