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

DOI10.1007/S00153-009-0168-9MaRDI QIDQ2267752zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 3825796 (Why is no real title available?)
• scientific article; zbMATH DE number 3931004 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• An axiomatic approach to self-referential truth
• An ordinal analysis for theories of self-referential truth
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• On the relation between choice and comprehension principles in second order arithmetic
• Some theories with positive induction of ordinal strength φω0
• The proof-theoretic analysis of transfinitely iterated quasi least fixed points

Cited in

(9)

• A flexible type system for the small Veblen ordinal
• A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction
• Open questions in reverse mathematics
• scientific article; zbMATH DE number 2006629 (Why is no real title available?)
• The proof theory of classical and constructive inductive definitions. A forty year saga, 1968--2008
• A boundedness theorem in ID₁(W)
• Another reduction of classical ID\(_\nu\) to constructive ID\(^i_\nu\)
• A proof-theoretic account of classical principles of truth
• Proof-theoretic strengths of weak theories for positive inductive definitions

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)