## Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory

- Kentaro Fujimoto
- Ann. Pure Appl. Logic
- 2015

Highly Influenced

@article{Jger1995SecondOT, title={Second order theories with ordinals and elementary comprehension}, author={Gerhard J{\"a}ger and Thomas Strahm}, journal={Arch. Math. Log.}, year={1995}, volume={34}, pages={345-375} }

- Published 1995 in Arch. Math. Log.
DOI:10.1007/BF02391553

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.

5 Citations

12 References

Similar Papers