Prefer a chat interface with context about you and your work?
On a universal axiomatization of the real closed fields
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.