Provability algebras and proof-theoretic ordinals, I

Annals of Pure and Applied Logic

Volumn 128, Issue 1-3, 2004, Pages 103-123

  Beklemishev, Lev D ^a,b  

^a STEKLOV MATHEMATICAL INSTITUTE   (Russian Federation)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Ordinals; Provability algebra; Provability logic

Indexed keywords

EID: 2442575027     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2003.11.030     Document Type: Article

References (19)

1. Beklemishev L.D. Induction rules, reflection principles, and provably recursive functions Ann. Pure Appl. Logic 85 1997 193-242
2. Beklemishev L.D. A proof-theoretic analysis of collection Arch. Math. Logic 37 1998 275-296
3. Beklemishev L.D. Proof-theoretic analysis by iterated reflection Arch. Math. Logic 42 2003 515-552
4. Beklemishev L.D. On the schema of induction for decidable predicates J. Symbolic Logic 68 1 2003 17-34
5. Boolos G. The Logic of Provability 1993 Cambridge University Press Cambridge, MA
6. S. Feferman, Three conceptual problems that bug me, Lecture text for 7th Scandinavian Logic Symposium, ftp://math.stanford.edu/pub/papers/feferman/conceptualprobs.ps.gz 1996.
7. J.-Y. Girard, Proof Theory and Logical Complexity, vol. 1, Bibliopolis, Napoli, 1987.
8. Ignatiev K.N. On strong provability predicates and the associated modal logics The Journal of Symbolic Logic 58 1993 249-290
9. G.K. Japaridze, The modal logical means of investigation of provability, Thesis in Philosophy, Moscow, 1986 (in Russian).
10. Kreisel G. Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt Jahresbericht der DMV 78 4 1977 177-223
11. Kristiansen L. Subrecursive degrees and fragments of Peano arithmetic Arch. Math. Logic 40 5 2001 365-397
12. R. Magari, The diagonalizable algebras (the algebraization of the theories which express Theor.:II). Bollettino della Unione Matematica Italiana, Serie 4, 12, 1975, Suppl. fasc. 3, pp. 117-125.
13. Pohlers W. Subsystems of set theory and second order number theory Buss S.R. Handbook of Proof Theory 1998 210-335 Elsevier, North-Holland Amsterdam
14. Pour-El M.B. Kripke S. Deduction-preserving "recursive isomorphisms" between theories Fund. Math. 61 1967 141-163
15. Rathjen M. The realm of ordinal analysis Cooper S.B. Truss J.K. Sets and Proofs London Mathematical Society Lecture Note Series vol. 258 1999 219-279 Cambridge University Press Cambridge, MA
16. Schmerl U.R. A fine structure generated by reflection formulas over Primitive Recursive Arithmetic Boffa M. van Dalen D. McAloon K. Logic Colloquium'78 1979 335-350 North-Holland Amsterdam
17. V.Yu. Shavrukov, Subalgebras of diagonalizable algebras of theories containing arithmetic, Dissertationes Mathematicae, 1993, pp. 323.
18. Solovay R.M. Provability interpretations of modal logic Israel J. Math. 28 1976 33-71
19. Turing A.M. System of logics based on ordinals Proc. London Math. Soc. Ser. 2 45 1939 161-228