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

@article{Pohlers1982,
author = {Pohlers, W.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {interpretation of the theory of noniterated generalized inductive definitions; proof-theoretic reductions; locally predicative definition; coinductive order relation},
pages = {69-88},
title = {Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.},
url = {http://eudml.org/doc/137993},
volume = {22},
year = {1982},
}

TY - JOUR
AU - Pohlers, W.
TI - Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1982
VL - 22
SP - 69
EP - 88
KW - interpretation of the theory of noniterated generalized inductive definitions; proof-theoretic reductions; locally predicative definition; coinductive order relation
UR - http://eudml.org/doc/137993
ER -