A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
From MaRDI portal
Publication:2267752
DOI10.1007/s00153-009-0168-9zbMath1198.03079MaRDI QIDQ2267752
Michael Rathjen, Bahareh Afshari
Publication date: 2 March 2010
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-009-0168-9
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03F25: Relative consistency and interpretations
Related Items
A proof-theoretic account of classical principles of truth, A note on the theory SID<ω of stratified induction, Open Questions in Reverse Mathematics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatic approach to self-referential truth
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- An ordinal analysis for theories of self-referential truth
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points
- On the relation between choice and comprehension principles in second order arithmetic
- Some theories with positive induction of ordinal strength φω0