Pseudo real closed fields. (English) Zbl 0466.12018
Set theory and model theory, Proc. Symp., Bonn 1979, Lect. Notes Math. 872, 127-156 (1981).
MSC:
12L05 | Decidability and field theory |
03C10 | Quantifier elimination, model completeness, and related topics |
03C60 | Model-theoretic algebra |
12D15 | Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) |
14G05 | Rational points |