A note on the theory SID_< of stratified induction

DOI10.1002/MALQ.201300063MaRDI QIDQ2933746zbMATHOpenAlexFDO

Authors Florian Ranzi, Thomas Strahm

Publication date 5 December 2014

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201300063

zbMATH Keywords

proof theoretic ordinalfinitely stratified general inductive definitions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Inductive definability (03D70)

Recommendations

• Some theories with positive induction of ordinal strength φω0
• A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
• Proof-theoretic strengths of weak theories for positive inductive definitions
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Pointwise transfinite induction and a miniaturized predicativity

Cites work

• scientific article; zbMATH DE number 3931004 (Why is no real title available?)
• A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
• Proof theory. The first step into impredicativity
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• The proof-theoretic analysis of transfinitely iterated quasi least fixed points

Cited in

(3)

• Pointwise transfinite induction and a miniaturized predicativity
• A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
• Proof-theoretic strengths of weak theories for positive inductive definitions

This page was built for publication: A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction

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