%0 Journal Article
%A W. Pohlers
%T Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1981
%P 113-130
%V 21
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1981__21_137980/
%F AMLG_1981__21_137980