×

Relative regular closedness and \(\pi\)-valuations. (English. Russian original) Zbl 0791.12005

Algebra Logic 31, No. 6, 342-360 (1992); translation from Algebra Logika 31, No. 6, 592-623 (1992).
The far-reaching result of the paper is that such important classes of fields as pseudo algebraically (regularly) closed fields, pseudo \(p\)- adically closed fields, pseudo (regularly) closed fields and some others, are specific cases of a more general construction. A field \(F_ 1\) is called a 1-extension of a field \(F_ 0\), if \(F_ 0 \leq F_ 1\) and for any finite set \(C \subset F_ 1\), there exists an \(F_ 0\)-homomorphism \(\varphi\) of the ring \(F_ 0[C]\) into \(F_ 0\). Let \(F\) be a field and \(\pi\) an element of \(F\), \(\pi \neq 0\), \(\pi \neq 1\). The valuation ring \(R_ v\) of \(F\) is called a \(\pi\)-valuation ring, and the valuation \(v\) a \(\pi\)-valuation, if \(v(\pi)\) is the least positive element of the value group \(\Gamma_ v\). A field \(F\) is called formally \(\pi\)-adic if there exists at least one \(\pi\)-valuation of \(F\) [Yu. L. Ershov, “Boolean families of valuation rings, Algebra Logika 31, No. 3, 276-296 (1992; see the preceding review)].
Let \(F\) be an infinite field, \(\widetilde F\) its algebraic closure and \(L\) some family of intermediate fields between \(F\) and \(\widetilde F\). The field \(F\) is called regularly closed with respect to a family of algebraic extensions \(L\) if, for any regular extension \(F_ 1\) of \(F\), this extension is a 1-extension when \(F_ 1,F'\) is a 1-extension of \(F'\) for any \(F' \in L\). If \(F\) is regularly closed with respect to \(L\) it is denoted by \(F\in R C (L)\) and \(F\) is called an \(RC(L)\)-field. Let \(W\) be a weakly Boolean family of valuation rings for \(F\) and let \(L_ W=\{ \sigma (H_ R(F)) \mid \sigma \in \operatorname{Aut}_ F \widetilde F,\;R \in W\}\), where \(H_ R\) is a henselization of \(F\) with respect to \(R\), \(\widetilde F\) the algebraic closure of \(F\). Now, let \(F\) be a field, \(\pi \in F\), \(\pi \neq 0,1\). Denote by \(w_ \pi\) the family of all \(\pi\)-valuations of \(F\). We will write \(RC_ \pi\) instead of \(RC(L_{w_ \pi})\).
It is shown that all classes of fields listed in the beginning of the review are classes of \(RC(L)\)-fields under various \(L\). The concept of a \(\pi\)-valuation and the class of \(RC_ \pi\)-fields are studied in detail. It is shown that the class of all \(RC_ \pi\)-fields is axiomatizable.
Reviewer: G.Pestov (Tomsk)

MSC:

12J12 Formally \(p\)-adic fields
12L12 Model theory of fields
12F05 Algebraic field extensions
12J10 Valued fields

Citations:

Zbl 0791.12004
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Yu. L. Ershov, ”Fields with decidable theory,”Dokl. Akad. Nauk SSSR,174, No. 1, 19–20 (1967).
[2] Yu. L. Ershov, ”Rational points over henselian fields,”Algebra Logika, 6, No. 3, 39–49 (1967).
[3] Yu. L. Ershov, ”Regularly closed fields,”Dokl. Akad. Nauk SSSR,251, No. 4, 783–785 (1980). · Zbl 0467.03026
[4] Yu. L. Ershov, ”Algorithmic problems in field theory (positive aspects),” in:Handbook of Mathematical Logic, III [in Russian], Nauka, Moscow (1982), pp. 269–353.
[5] Yu. L. Ershov, ”Multiply valuation fields,”Usp. Mat. Nauk,37, No. 3, 55–93 (1982).
[6] Yu. L. Ershov, ”Absolute irreducibility and properties of henselizations,”Algebra Logika,21, No. 5, 530–536 (1982). · Zbl 0507.12021
[7] Yu. L. Ershov, ”Totally real field extensions,”Dokl. Akad. Nauk SSSR,263, No. 5, 1047–1049 (1982). · Zbl 0514.03019
[8] Yu. L. Ershov, ”Regularlyr-closed fields,”Dokl. Akad. Nauk SSSR,266, No. 3, 538–540 (1982).
[9] Yu. L. Ershov, ”Boolean families of valuation rings,”Algebra Logika,31, No. 3, 274–294 (1992). · Zbl 0791.12004
[10] C. C. Chang and H. J. Keisler,Model Theory, 2nd edn., North Holland (1977). · Zbl 0423.03041
[11] U. M. Künzi, ”Decidable theories of pseudop-adic closed fields,”Algebra Logika,28, No. 6, 643–669 (1989).
[12] J. Ax, ”Solving diophantine problems modulo every prime,”Ann. Math.,85, 161–183 (1967). · Zbl 0239.10032
[13] J. Ax, ”The elementary theory of finite fields,”Ann. Math.,88, 239–271 (1968). · Zbl 0195.05701
[14] G. Cherlin, L. Van den Dries, and A. Macintyre, ”The elementary theory of regularly closed fields,” Preprint (1982).
[15] M. Freid and M. Jarden, Field Arithmetic, Springer-Verlag (1986).
[16] C. Grob, ”Die Entscheidbarkeit der Theorie der maximalen pseudop-adisch algeschlossenen Körper,”Konstanzer Dissertationen,202 (1987).
[17] D. Haran and M. Jarden, ”The absolute Galois group of a pseudop-adically closed fields,”J. Reine Ang. Math.,383, 147–206 (1988). · Zbl 0652.12010
[18] B. Heinemann, and A. Prestel, ”Fields regularly closed with respect to finitely many valuations and orderings,”Can. Math. Soc. Conf. Proc.,4, 297–336 (1984). · Zbl 0566.03023
[19] V. Jarden, ”The elementary theory of{\(\omega\)}-free Ax fields,”Inv. Math.,38, 187–206 (1976). · Zbl 0342.12104
[20] M. Jarden, ”Algebraic realization ofp-adically projective groups,”Comp. Math.,79, 21–62 (1991). · Zbl 0737.12005
[21] M. Jarden and U. Keihne, ”The elementary theory of algebraic fields of finite corank,”Inv. Math.,30, 275–294 (1975). · Zbl 0315.12107
[22] U. M. Künzi, ”Corps multiplement pseudo-p-adiquement clos,”C. R. Acad. Sc. Paris,309, No. 1, 205–208 (1989). · Zbl 0727.12014
[23] U. M. Künzi, ”Multiply pseudo-p-adically closed fields,”Proc. Int. Conf. Algebra dedic. A. I. Malcev (Cont. Math.,131, Part 2), 463–468 (1992). · Zbl 0767.12006
[24] A. Prestel, ”Pseudo real closed fields,”Lect. Notes Math., No. 872, 127–156 (1981).
[25] A. Prestel and P. Roquette, ”Formallyp-adic fields,”Lect. Notes Math., No. 1050 (1984). · Zbl 0523.12016
[26] A. Schinzel, ”Reducibility of polynomials in several variables II,”Pac. J. Math.,118, 531–563 (1985). · Zbl 0571.12011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.