Pohlers, W. Cut elimination for impredicative infinitary systems. II. Ordinal analysis for iterated inductive definitions. (English) Zbl 0497.03043 Arch. Math. Logik Grundlagenforsch. 22, 69-87 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03F05 Cut-elimination and normal-form theorems 03D70 Inductive definability Keywords:interpretation of the theory of noniterated generalized inductive definitions; proof-theoretic reductions; locally predicative definition; coinductive order relation Citations:Zbl 0484.03030 PDFBibTeX XMLCite \textit{W. Pohlers}, Arch. Math. Logik Grundlagenforsch. 22, 69--87 (1982; Zbl 0497.03043) Full Text: DOI EuDML