A note on the theory of positive induction, \({{\text{ID}}^*_1}\)

DOI10.1007/S00153-009-0168-9zbMath1198.03079OpenAlexW2100332564MaRDI QIDQ2267752

Bahareh Afshari, Michael Rathjen

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

zbMATH Keywords

omega-model reflectiontheories of inductive definitions

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (5)

Open Questions in Reverse Mathematics ⋮ A note on the theory SID<ω of stratified induction ⋮ A proof-theoretic account of classical principles of truth ⋮ PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS ⋮ A flexible type system for the small Veblen ordinal

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

This page was built for publication: A note on the theory of positive induction, \({{\text{ID}}^*_1}\)