A note on the theory of positive induction, ID^*_1

DOI10.1007/S00153-009-0168-9zbMATH Open1198.03079OpenAlexW2100332564MaRDI QIDQ2267752FDOQ2267752

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

Recommendations

• Proof-theoretic strengths of weak theories for positive inductive definitions
• Some theories with positive induction of ordinal strength φω0
• The proof theory of classical and constructive inductive definitions. A forty year saga, 1968--2008
• A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction
• scientific article; zbMATH DE number 2186968

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)

Cites Work

• An axiomatic approach to self-referential truth
• An ordinal analysis for theories of self-referential truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theories with positive induction of ordinal strength φω0
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Title not available (Why is that?)
• On the relation between choice and comprehension principles in second order arithmetic
• The proof-theoretic analysis of transfinitely iterated quasi least fixed points

Cited In (7)

• A flexible type system for the small Veblen ordinal
• Title not available (Why is that?)
• PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS
• Open Questions in Reverse Mathematics
• A boundedness theorem in ID₁(W)
• A proof-theoretic account of classical principles of truth
• A note on the theory SID<ω of stratified induction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2267752)