Geodesic
Separably Real Closed Local Rings.
Revista colombiana de matematicas, Tome 19 (1985), pp. 107-116.

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

Mots-clés : topos, variable reals, separably real closed local ring, Dedekind reals, coherent axiomatization, semi-algebraic geometry, elimination of quantifiers 
@article{RCM_1985__19_181750,
     author = {Andr\'e Joyal and Gonzalo E. Reyes},
     title = {Separably {Real} {Closed} {Local} {Rings.}},
     journal = {Revista colombiana de matematicas},
     pages = {107--116},
     publisher = {mathdoc},
     volume = {19},
     year = {1985},
     zbl = {0617.18004},
     url = {http://geodesic.mathdoc.fr/item/RCM_1985__19_181750/}
}
TY  - JOUR
AU  - André Joyal
AU  - Gonzalo E. Reyes
TI  - Separably Real Closed Local Rings.
JO  - Revista colombiana de matematicas
PY  - 1985
SP  - 107
EP  - 116
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1985__19_181750/
ID  - RCM_1985__19_181750
ER  - 
%0 Journal Article
%A André Joyal
%A Gonzalo E. Reyes
%T Separably Real Closed Local Rings.
%J Revista colombiana de matematicas
%D 1985
%P 107-116
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1985__19_181750/
%F RCM_1985__19_181750
André Joyal; Gonzalo E. Reyes. Separably Real Closed Local Rings.. Revista colombiana de matematicas, Tome 19 (1985), pp. 107-116. http://geodesic.mathdoc.fr/item/RCM_1985__19_181750/