Good locally global fields (Q1363880)

The paper is a continuation of the author's series of works [e.g. \textit{Yu. L. Ershov}, Algebra Logic 33, No. 6, 351-365 (1994); translation from Algebra Logika 33, No. 6, 628-653 (1994; Zbl 0845.12005); Algebra Logic 34, No. 3, 140-146 (1995); translation from Algebra Logika, 34, No. 3, 262-273 (1995; Zbl 0856.12005)]. A valuation ring \(R\) of a field \(F\) is called quasi-classic if the field \(F\) has characteristic 0, the valuation group \(\Gamma_R\) of valuation \(v_R\) of the field \(F\) defined by the ring \(R\) is a \(Z\)-group, and the field \(F_R\) of residues of the valuation \(v_R\) satisfies the following condition: it is a prime field of characteristic \(p\) (i.e. \(|F_p|=p\)) and \(v_r(p)\) is the least positive element of the group \(\Gamma_R\) if \(F_R\) has characteristic \(p>0\), and \(F_R\) is a pseudofinite field if \(F_R\) has characteristic 0. A field \(F\) of characteristic 0 is called a good locally global field (\(F{\in}NLGF\)) if: (i) A family \(W_{qc}\) of all quasiclassic valuation rings of the field \(F\) is Boolean; (ii) \(F\) is regularly closed with respect to the family \(W_{qc}\); (iii) \(F\) has continuous local elementary properties with respect to the family. The author establishes a characteristic property of the class \(NLFG\). Definitions of a universal and of a free \(\Delta^{\ast}\)-groups are formulated and the theorems on the relation between etale spaces and free \(\Delta^{\ast}\)-groups are proved. A relation between universal and free profinite groups is investigated. Then some subclasses of \(NLFG\) are considered and their elementary theories are proved to be solvable.