Geodesic
Majorizing provably recursive functions in fragments of PA.
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 21-32

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

Zbl
Mots-clés : fragments of Peano arithmetic, primitive recursive functions, majorization, fast growing hierarchy 
Andrea Cantini. Majorizing provably recursive functions in fragments of PA.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 21-32. http://geodesic.mathdoc.fr/item/AMLG_1985__25_138033/
@article{AMLG_1985__25_138033,
     author = {Andrea Cantini},
     title = {Majorizing provably recursive functions in fragments of {PA.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {21--32},
     year = {1985},
     volume = {25},
     zbl = {0592.03046},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138033/}
}
TY  - JOUR
AU  - Andrea Cantini
TI  - Majorizing provably recursive functions in fragments of PA.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1985
SP  - 21
EP  - 32
VL  - 25
UR  - http://geodesic.mathdoc.fr/item/AMLG_1985__25_138033/
ID  - AMLG_1985__25_138033
ER  - 
%0 Journal Article
%A Andrea Cantini
%T Majorizing provably recursive functions in fragments of PA.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1985
%P 21-32
%V 25
%U http://geodesic.mathdoc.fr/item/AMLG_1985__25_138033/
%F AMLG_1985__25_138033