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 |
