A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

DOI10.1007/978-3-319-10103-3_15zbMath1380.03071OpenAlexW2344397409MaRDI QIDQ5361256

Gerhard Jäger, Dieter Probst

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10103-3_15

zbMATH Keywords

fixed point inductionstratified inductive definitions

Mathematics Subject Classification ID

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

Related Items

Pointwise Transfinite Induction and a Miniaturized Predicativity