Geodesic
Definability and forcing in E-recursion.
Mathematica Scandinavica, Tome 57 (1985), pp. 5-28

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

Mots-clés : 1-section, generic, E-recursion, set recursion, forcing, Cohen real, generalized recursion theory 
@article{MS2_1985__57_166940,
     author = {E.R. Griffor},
     title = {Definability and forcing in {E-recursion.}},
     journal = {Mathematica Scandinavica},
     pages = {5--28},
     publisher = {mathdoc},
     volume = {57},
     year = {1985},
     zbl = {0623.03046},
     url = {http://geodesic.mathdoc.fr/item/MS2_1985__57_166940/}
}
TY  - JOUR
AU  - E.R. Griffor
TI  - Definability and forcing in E-recursion.
JO  - Mathematica Scandinavica
PY  - 1985
SP  - 5
EP  - 28
VL  - 57
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1985__57_166940/
ID  - MS2_1985__57_166940
ER  - 
%0 Journal Article
%A E.R. Griffor
%T Definability and forcing in E-recursion.
%J Mathematica Scandinavica
%D 1985
%P 5-28
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1985__57_166940/
%F MS2_1985__57_166940
E.R. Griffor. Definability and forcing in E-recursion.. Mathematica Scandinavica, Tome 57 (1985), pp. 5-28. http://geodesic.mathdoc.fr/item/MS2_1985__57_166940/