Geodesic
Relativization of a primitive recursive hierarchy.
Mathematische Annalen, Tome 152 (1963), pp. 159-163 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : mathematical logic 
@article{MAN_1963__152_161100,
     author = {P. AXT},
     title = {Relativization of a primitive recursive hierarchy.},
     journal = {Mathematische Annalen},
     pages = {159--163},
     year = {1963},
     volume = {152},
     zbl = {0118.25101},
     url = {http://geodesic.mathdoc.fr/item/MAN_1963__152_161100/}
}
TY  - JOUR
AU  - P. AXT
TI  - Relativization of a primitive recursive hierarchy.
JO  - Mathematische Annalen
PY  - 1963
SP  - 159
EP  - 163
VL  - 152
UR  - http://geodesic.mathdoc.fr/item/MAN_1963__152_161100/
ID  - MAN_1963__152_161100
ER  - 
%0 Journal Article
%A P. AXT
%T Relativization of a primitive recursive hierarchy.
%J Mathematische Annalen
%D 1963
%P 159-163
%V 152
%U http://geodesic.mathdoc.fr/item/MAN_1963__152_161100/
%F MAN_1963__152_161100
P. AXT. Relativization of a primitive recursive hierarchy.. Mathematische Annalen, Tome 152 (1963), pp. 159-163. http://geodesic.mathdoc.fr/item/MAN_1963__152_161100/