Schmerl, Ulf R.. "A proof theoretical fine structure in systems of ramified analysis.." Archiv für mathematische Logik und Grundlagenforschung 22 (1982): 167-186. <http://eudml.org/doc/137999>.
@article{Schmerl1982, author = {Schmerl, Ulf R.}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {proof theory; cut-elimination; ramified analysis; reflection principles}, pages = {167-186}, title = {A proof theoretical fine structure in systems of ramified analysis.}, url = {http://eudml.org/doc/137999}, volume = {22}, year = {1982}, }
TY - JOUR AU - Schmerl, Ulf R. TI - A proof theoretical fine structure in systems of ramified analysis. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1982 VL - 22 SP - 167 EP - 186 KW - proof theory; cut-elimination; ramified analysis; reflection principles UR - http://eudml.org/doc/137999 ER -