A proof theoretical fine structure in systems of ramified analysis.

Ulf R. Schmerl

Archiv für mathematische Logik und Grundlagenforschung (1982)

  • Volume: 22, page 167-186
  • ISSN: 0003-9268

How to cite

top

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 -

NotesEmbed ?

top

You must be logged in to post comments.