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) Relative consistency and interpretations (03F25) Second- and higher-order arithmetic and fragments (03F35)

Review text

This paper provides a proof-theoretic analysis of the theory \(\text{ID}_1^*\), an interesting restriction of the well-known theory \(\text{ID}_1\) of non-iterated inductive definitions, by use of \(\omega\)-model reflection. This method differs from the one used by Probst, who established the result earlier in [\textit{D. Probst}, ``The proof-theoretic analysis of transfinitely iterated quasi least fixed points, J. Symb. Log. 71, No.~3, 721--746 (2006; Zbl 1115.03084)].

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

• An axiomatic approach to self-referential truth
• An ordinal analysis for theories of self-referential truth
• 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?)
• 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

(10)

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

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