On amazing extensions of the field of rational numbers. (Q1432305)

Let \(P\) be the set of all prime numbers, let \({\mathbb Q}_p\) and \({\mathbb Z}_p\) be the field of \(p\)-adic numbers and the ring of integer \(p\)-adic numbers correspondingly with \(p\in P.\) An extension \(F\) of the field of rationals \({\mathbb Q}\) is called amazing if there exist field embeddings \({\lambda}_r:F\rightarrow {\mathbb R}\) and \({\lambda}_p:F\rightarrow {\mathbb Q}_p\) such that the following three conditions are satisfied. 1. The almost-Boolean property: For any element \(a\in F\) the set \(\{p\mid p\in P, a\not\in {\lambda}_p^{-1}({\mathbb Z}_p)\}\) is finite. 2. The local-global principle: For any absolutely irreducible affine variety \(V\) defined over \(F,\) \(V\) has a simple \(F\)-rational point provided \(V\) has a simple \({\mathbb R}\)-rational point and a simple \({\mathbb Q}_p\)-rational point for each \(p\in P.\) 3. The maximality property. The field \(P\) admits no proper algebraic extension embeddable in all fields \({\mathbb R}\) and \({\mathbb Q}_p\) with \(p\in P.\) Theorem 1. Let \(F\) be a countable extension of the field \({\mathbb Q}\) and \({\lambda}_r:F\rightarrow {\mathbb R},\) \({\lambda}_p:F\rightarrow {\mathbb Q}_p\) be embeddings such that the family \(\{{\lambda}_p^{-1}({\mathbb Z}_p)\mid p\in P\}\) is almost Boolean. Then the field \(F\) has a countable extension \(F_0\geq F\) being a amazing extension of \({\mathbb Q},\) and the embeddings of \(F_0\) into \({\mathbb R}\) and \({\mathbb Q}_p\) with \(p\in P\) extend the embeddings \({\lambda}_r\) and \({\lambda}_p\) with \(p\in P.\) The question about the uniqueness of such extensions has a negative answer. However, it is shown that any two amazing extensions are elementary equivalent. The elementary theory of the class of all amazing extensions is decidable. The proofs of these results are based on the theory of multiply valued fields with an almost-Boolean family of valuation rings exposed in the author's book [Multi-valued fields, Novosibirsk: Nauchnaya Kniga/New York: Kluwer Academic/Consultants Bureau (2001; Zbl 1073.12005)]. It is proved that for any amazing extension \(F\geq {\mathbb Q}\) and any finite group \(G,\) there exists a Galois extension \(F_0\geq F\) such that \(G\) is isomorphic to the Galois group \(G(F_0/F).\)