Geodesic
Decidable Theories of Preordered Fields.
Mathematische Annalen, Tome 258 (1981), pp. 481-492.

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

Mots-clés : preordered field, elementary theory, model companion, decidable 
@article{MAN_1981__258_163613,
     author = {Alexander Prestel},
     title = {Decidable {Theories} of {Preordered} {Fields.}},
     journal = {Mathematische Annalen},
     pages = {481--492},
     publisher = {mathdoc},
     volume = {258},
     year = {1981},
     zbl = {0466.12019},
     url = {http://geodesic.mathdoc.fr/item/MAN_1981__258_163613/}
}
TY  - JOUR
AU  - Alexander Prestel
TI  - Decidable Theories of Preordered Fields.
JO  - Mathematische Annalen
PY  - 1981
SP  - 481
EP  - 492
VL  - 258
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1981__258_163613/
ID  - MAN_1981__258_163613
ER  - 
%0 Journal Article
%A Alexander Prestel
%T Decidable Theories of Preordered Fields.
%J Mathematische Annalen
%D 1981
%P 481-492
%V 258
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1981__258_163613/
%F MAN_1981__258_163613
Alexander Prestel. Decidable Theories of Preordered Fields.. Mathematische Annalen, Tome 258 (1981), pp. 481-492. http://geodesic.mathdoc.fr/item/MAN_1981__258_163613/