Geodesic
On a universal axiomatization of the real closed fields
Annales Polonici Mathematici, Tome 65 (1996) no. 1, pp. 95-103

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
DOI : 10.4064/ap-65-1-95-103
Keywords: real closed fields, real valuations, Nash functions, quantifier elimination

Krzysztof Nowak 1

1 
@article{10_4064_ap_65_1_95_103,
     author = {Krzysztof Nowak},
     title = {On a universal axiomatization of the real closed fields},
     journal = {Annales Polonici Mathematici},
     pages = {95--103},
     publisher = {mathdoc},
     volume = {65},
     number = {1},
     year = {1996},
     doi = {10.4064/ap-65-1-95-103},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/ap-65-1-95-103/}
}
TY  - JOUR
AU  - Krzysztof Nowak
TI  - On a universal axiomatization of the real closed fields
JO  - Annales Polonici Mathematici
PY  - 1996
SP  - 95
EP  - 103
VL  - 65
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/ap-65-1-95-103/
DO  - 10.4064/ap-65-1-95-103
LA  - en
ID  - 10_4064_ap_65_1_95_103
ER  - 
%0 Journal Article
%A Krzysztof Nowak
%T On a universal axiomatization of the real closed fields
%J Annales Polonici Mathematici
%D 1996
%P 95-103
%V 65
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/ap-65-1-95-103/
%R 10.4064/ap-65-1-95-103
%G en
%F 10_4064_ap_65_1_95_103
Krzysztof Nowak. On a universal axiomatization of the real closed fields. Annales Polonici Mathematici, Tome 65 (1996) no. 1, pp. 95-103. doi: 10.4064/ap-65-1-95-103

Cité par Sources :