On a universal axiomatization of the real closed fields
Krzysztof Jan Nowak (1996)
Annales Polonici Mathematici
Similarity:
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.