The Undecidability of Pseudo Real Closed Fields.
This paper is devoted to some variants of the Hilbert specialization property. For example, the RG-hilbertian property (for a field K), which arose in connection with the Inverse Galois Problem, requires that the specialization property holds solely for extensions of K(T) that are Galois and regular over K. We show that fields inductively obtained from a real hilbertian field by adjoining real pth roots (p odd prime) are RG-hilbertian; some of these fields are not hilbertian. There are other variants...
Page 1