On a universal axiomatization of the real closed fields
Tom 65 / 1996
Annales Polonici Mathematici 65 (1996), 95-103
DOI: 10.4064/ap-65-1-95-103
Streszczenie
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
