Abstract
Several classes of henselian valued fields admit quantifier elimination relative to structures which reflect the additive and multiplicative congruences of the field. Value groups and residue fields may be viewed as reduts of these structures. A general theorem is given using the theory of tame extensions of henselian fields. Special cases like the case ofp-adically closed fields and the case of henselian fields of residue characteristic 0 are discussed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
[B] S. A. Basarab,Relative elimination of quantifiers for Henselian valued fields, Annals of Pure and Applied Logic53 (1991), 51–74.
[B-K] S. A. Basarab and F.-V. Kuhlmann,An isomorphism theorem for Henselian algebraic extensions of valued fields, preprint, Heidelberg (1992).
[BOU] N. Bourbaki,Commutative Algebra, Springer, Berlin, 1972.
[C-K] C. C. Chang and H. J. Keisler,Model Theory, Elsevier, Amsterdam, 1973.
[D] F. Delon,Quelques propriétés des corps valués en théories des modèles, Thèse Paris VII, 1981.
[K1] F.-V. Kuhlmann,Henselian function fields and tame fields, preprint, Heidelberg, 1990.
[K2] F.-V. Kuhlmann,Studies in the algebra and model theory of valued fields, to appear in the “Algebra, Logic and Applications” series, eds. Macintyre and Göbel, Gordon & Breach, New York.
[KK] J. Koenigsmann and F.-V. Kuhlmann,Quantifier elimination for large Kaplansky-fields, in preparation.
[KPR] F.-V. Kuhlmann, M. Pank, and P. Roquette,Immediate and purely wild extensions of valued fields, Manuscripta Math.55 (1986), 39–67.
[M] A. MacIntyre,On definable subsets of p-adic numbers, J. Symb. Logic41 (1976), 605–611.
[P] A. Prestel,Einführung in die mathematische Logik und Modelltheorie, Vieweg Studium, Braunschweig, 1986.
[P-R] A. Prestel and P. Roquette,Formally p-adic fields, Lecture Notes in Math.1050, Springer, Berlin, 1984.
[P-Z] A. Prestel and M. Ziegler,Model theoretic methods in the theory of topological fields, J. reine angew. Math.299/300 (1978), 318–341.
[RIB] P. Ribenboim,Théorie des valuations, Les Presses de l'Université de Montréal, Montréal, 1968.
[ROB] A. Robinson,Complete Theories, Elsevier, Amsterdam, 1956.
[R-Z] A. Robinson and E. Zakon,Elementary properties of ordered abelian groups, Trans. Amer. Math. Soc.96 (1960), 222–236.
[VDD1] L. van den Dries,Elementary invariants for Henselian valuation rings of mixed characteristic, and relative versions, manuscript, 1983.
[VDD2] L. van den Dries,Dimension of definable sets, algebraic boundedness, and Henselian fields, Annals of Pure and Applied Logic45 (1989), 189–209.
[W] V. Weispfenning,Quantifier elimination and decision procedures for valued fields, Logic Colloquium Aachen 1983, Lecture Notes in Math.1103, Springer, Berlin, 1984, pp. 419–472.
[Z-S] O. Zariski and P. Samuel,Commutative Algebra II, Springer, New York, 1960.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was completed during a visit in the Institute for Advanced Studies at the Hebrew University of Jerusalem.
Rights and permissions
About this article
Cite this article
Kuhlmann, FV. Quantifier elimination for henselian fields relative to additive and multiplicative congruences. Israel J. Math. 85, 277–306 (1994). https://doi.org/10.1007/BF02758645
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02758645