A note on the theory SID<ω of stratified induction

DOI10.1002/malq.201300063zbMath1354.03092OpenAlexW1961621101MaRDI QIDQ2933746

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)

Related Items

Pointwise Transfinite Induction and a Miniaturized Predicativity

Cites Work

• Unnamed Item
• Proof theory. The first step into impredicativity
• A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
• The proof-theoretic analysis of transfinitely iterated quasi least fixed points
• The proof-theoretic analysis of transfinitely iterated fixed point theories