19 citations to 10.1016/0168-0072(95)00007-4 (Crossref Cited-By Service)
  1. Wolfgang Rautenberg, A Concise Introduction to Mathematical Logic, 2010, 269  crossref
  2. Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, № 4(442), 2018, 3  crossref
  3. Lev D. Beklemishev, “Parameter free induction and provably total computable functions”, Theoretical Computer Science, 224, № 1-2, 1999, 13  crossref
  4. Carlo Nicolai, Lorenzo Rossi, “Principles for Object-Linguistic Consequence: from Logical to Irreflexive”, J Philos Logic, 47, № 3, 2018, 549  crossref
  5. Anton Freund, “Slow reflection”, Annals of Pure and Applied Logic, 168, № 12, 2017, 2103  crossref
  6. L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, № 4, 2018, 569  crossref
  7. LEV BEKLEMISHEV, “Notes on local reflection principles”, Theoria, 63, № 3, 1997, 139  crossref
  8. Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, № 1, 2020  crossref
  9. Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, № 2, 2005, 3  crossref
  10. Marianna Antonutti Marfori, Leon Horsten, “Human-Effective Computability†”, Philosophia Mathematica, 27, № 1, 2019, 61  crossref
1
2
Следующая