A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

DOI10.1007/978-3-319-10103-3_15MaRDI QIDQ5361256zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger, D. 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)

Cited in

(4)

• Pointwise transfinite induction and a miniaturized predicativity
• scientific article; zbMATH DE number 2186968 (Why is no real title available?)
• A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
• Structuring metatheory on inductive definitions

This page was built for publication: A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

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