×

Cut elimination for impredicative infinitary systems. II. Ordinal analysis for iterated inductive definitions. (English) Zbl 0497.03043


MSC:

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

Citations:

Zbl 0484.03030
PDFBibTeX XMLCite
Full Text: DOI EuDML