The model-theoretic ordinal analysis of theories of predicative strength

Journal of Symbolic Logic

Volumn 64, Issue 1, 1999, Pages 327-349

  Avigad, Jeremy ^a   Sommer, Richard ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033457430     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586768     Document Type: Article

References (12)

1. PETER ACZEL, An introduction to inductive definitions, The handbook of mathematical logic (J. Barwise, editor), North-Holland, 1977, pp. 739-782.
2. <ω, this JOURNAL, vol. 61 (1996), pp. 768-779.
3. JEREMY AVIGAD and RICHARD SOMMER, A model-theoretic approach to ordinal analysis, Bulletin of Symbolic Logic, vol. 3 (1997), pp. 17-52.
4. SOLOMON FEFERMAN, Systems of predicative analysis, this JOURNAL, vol. 29 (1964), pp. 1-30.
5. _, Iterated inductive fixed-point theories: application to hancock's conjecture, Patras logic symposium (G. Metakides, editor), North-Holland, 1982.
6. 2-AC, Intuitionism and proof theory (A. Kino et al., editors), North-Holland, 1970, pp. 435-442.
7. HARVEY FRIEDMAN, KENNETH MCALOON, and STEPHEN SIMPSON, A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis, Patras logic symposium (G. Metakides, editor), North-Holland, 1982, pp. 197-230.
8. WOLFRAM POHLERS, Proof theory: an introduction, Lecture Notes in Mathematics, vol. 1407, Springer-Verlag, 1989.
9. 2 and reverse mathematics, appendix to GAISI TAKEUTI, Proof theory, second edition, North-Holland, 1987.
10. _, On the strength of König's duality theorem of countable bipartite graphs, this JOURNAL, vol. 59 (1994), pp. 113-123.
11. _, Subsystems of second order arithmetic, Springer-Verlag, 1998.
12. RICHARD SOMMER, Transfinite induction within Peano arithmetic, Annals of Pure and Applied Logic, vol. 76 (1995), pp. 231-289.