Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.

@article{Pohlers1981,
author = {Pohlers, W.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {noniterated generalized inductive definitions},
pages = {113-130},
title = {Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.},
url = {http://eudml.org/doc/137980},
volume = {21},
year = {1981},
}

TY - JOUR
AU - Pohlers, W.
TI - Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1981
VL - 21
SP - 113
EP - 130
KW - noniterated generalized inductive definitions
UR - http://eudml.org/doc/137980
ER -