Second order theories with ordinals and elementary comprehension

  title={Second order theories with ordinals and elementary comprehension},
  author={Gerhard J{\"a}ger and Thomas Strahm},
  journal={Arch. Math. Log.},
We study elementary second order extensions of the theory ID1 of noniterated inductive definitions and the theory PAs? of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plus H~ comprehension and bar induction without set parameters. 

From This Paper

Topics from this paper.
5 Citations
12 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 12 references

About the prooftheoretic ordinals of weak xed pointtheories

  • W. Pohlers
  • Journal of Symbolic Logic
  • 1992

Iterated inductive fixed-point theories: applications to Hancock's conjecture

  • S. Feferrnan
  • The Patras Symposium,
  • 1982

Iterated inductive xedpoint theories : applications to Hancock ' sconjecture

  • G. Metakides
  • 1982

Beweistheorie von KPN

  • G. Jiger
  • Arch. Math. Logik Grundlagenforsch
  • 1980

Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis

  • S. Feferman
  • Intuitionism and Proof Theory. Proceedings of the…
  • 1968

Similar Papers

Loading similar papers…