Geodesic
A proof theoretical fine structure in systems of ramified analysis.
Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 167-186.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : proof theory, cut-elimination, ramified analysis, reflection principles 
@article{AMLG_1982__22_137999,
     author = {Ulf R. Schmerl},
     title = {A proof theoretical fine structure in systems of ramified analysis.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {167--186},
     publisher = {mathdoc},
     volume = {22},
     year = {1982},
     zbl = {0506.03016},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137999/}
}
TY  - JOUR
AU  - Ulf R. Schmerl
TI  - A proof theoretical fine structure in systems of ramified analysis.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1982
SP  - 167
EP  - 186
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137999/
ID  - AMLG_1982__22_137999
ER  - 
%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
Ulf R. Schmerl. A proof theoretical fine structure in systems of ramified analysis.. Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 167-186. http://geodesic.mathdoc.fr/item/AMLG_1982__22_137999/