×

zbMATH — the first resource for mathematics

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