%0 Journal Article %A Ulf R. Schmerl %T A proof theoretical fine structure in systems of ramified analysis. %J Archiv für mathematische Logik und Grundlagenforschung %D 1982 %P 167-186 %V 22 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137999/ %F AMLG_1982__22_137999