Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.

@article{Vogel1978,
author = {Vogel, H.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {proof theory; bar recursion of type zero; transfinite iteration of finite type; Bachmann-Howard-ordinal; lower bounds; continuous functional; Spector trees},
pages = {165-174},
title = {Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.},
url = {http://eudml.org/doc/137954},
volume = {19},
year = {1978},
}

TY - JOUR
AU - Vogel, H.
TI - Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1978
VL - 19
SP - 165
EP - 174
KW - proof theory; bar recursion of type zero; transfinite iteration of finite type; Bachmann-Howard-ordinal; lower bounds; continuous functional; Spector trees
UR - http://eudml.org/doc/137954
ER -