Geodesic
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 69-88

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : interpretation of the theory of noniterated generalized inductive definitions, proof-theoretic reductions, locally predicative definition, coinductive order relation 
@article{AMLG_1982__22_137993,
     author = {W. Pohlers},
     title = {Cut elimination for impredicative infinitary systems. {Part} {II} {Ordinal} analysis for iterated inductive definitions.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {69--88},
     publisher = {mathdoc},
     volume = {22},
     year = {1982},
     zbl = {0497.03043},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137993/}
}
TY  - JOUR
AU  - W. Pohlers
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
SP  - 69
EP  - 88
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137993/
ID  - AMLG_1982__22_137993
ER  - 
%0 Journal Article
%A W. Pohlers
%T Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1982
%P 69-88
%V 22
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137993/
%F AMLG_1982__22_137993
W. Pohlers. Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.. Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 69-88. http://geodesic.mathdoc.fr/item/AMLG_1982__22_137993/