Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions

DOI10.1007/BF02318028zbMath0497.03043OpenAlexW1990882196MaRDI QIDQ3960689

Wolfram Pohlers

Publication date: 1982

Published in: Archiv für mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137993

zbMATH Keywords

proof-theoretic reductionscoinductive order relationinterpretation of the theory of noniterated generalized inductive definitionslocally predicative definition

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Inductive definability (03D70)

Related Items (3)

Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results

This page was built for publication: Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions