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

Zbl
Mots-clés : interpretation of the theory of noniterated generalized inductive definitions, proof-theoretic reductions, locally predicative definition, coinductive order relation 
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/
@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},
     year = {1982},
     volume = {22},
     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
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
%U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137993/
%F AMLG_1982__22_137993