...-inaccessible ordinals, collapsing functions and a recursive notation system.
Archiv für mathematische Logik und Grundlagenforschung (1984)
- Volume: 24, page 49-62
- ISSN: 0003-9268
Access Full Article
topHow to cite
topJäger, Gerhard. "...-inaccessible ordinals, collapsing functions and a recursive notation system.." Archiv für mathematische Logik und Grundlagenforschung 24 (1984): 49-62. <http://eudml.org/doc/138022>.
@article{Jäger1984,
author = {Jäger, Gerhard},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {ordinal functions; constructive notation systems; constructive well- orderings; inaccessible ordinals; collapsing functions; strong primitive recursive ordinal notation system},
pages = {49-62},
title = {...-inaccessible ordinals, collapsing functions and a recursive notation system.},
url = {http://eudml.org/doc/138022},
volume = {24},
year = {1984},
}
TY - JOUR
AU - Jäger, Gerhard
TI - ...-inaccessible ordinals, collapsing functions and a recursive notation system.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1984
VL - 24
SP - 49
EP - 62
KW - ordinal functions; constructive notation systems; constructive well- orderings; inaccessible ordinals; collapsing functions; strong primitive recursive ordinal notation system
UR - http://eudml.org/doc/138022
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.