Good locally global fields

From MaRDI portal





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.











This page was built for publication: Good locally global fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1363880)