The algebra and model theory of tame valued fields

DOI10.1515/CRELLE-2014-0029MaRDI QIDQ323734zbMATH OpenOpenAlexFDO

Authors Franz-Viktor Kuhlmann

Publication date 10 October 2016

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.0194

Mathematics Subject Classification ID

Valued fields (12J10) Valuations and their generalizations for commutative rings (13A18)

Abstract: A henselian valued field $K$ is called a tame field if its algebraic closure $ildeK$ is a tame extension, that is, the ramification field of the normal extension $ildeK|K$ is algebraically closed. Every algebraically maximal Kaplansky field is a tame field, but not conversely. We develop the algebraic theory of tame fields and then prove Ax--Kochen--Ershov Principles for tame fields. This leads to model completeness and completeness results relative to value group and residue field. As the maximal immediate extensions of tame fields will in general not be unique, the proofs have to use much deeper valuation theoretical results than those for other classes of valued fields which have already been shown to satisfy Ax--Kochen--Ershov Principles. The results of this paper have been applied to gain insight in the Zariski space of places of an algebraic function field, and in the model theory of large fields.

Recommendations

• The model theory of separably tame valued fields
• Elimination of ramification. II: Henselian rationality
• scientific article; zbMATH DE number 46386
• ON FINITE TAME EXTENSIONS OF VALUED FIELDS
• scientific article; zbMATH DE number 2020225

Cites work

• scientific article; zbMATH DE number 43465 (Why is no real title available?)
• scientific article; zbMATH DE number 3439001 (Why is no real title available?)
• scientific article; zbMATH DE number 1923059 (Why is no real title available?)
• scientific article; zbMATH DE number 3443643 (Why is no real title available?)
• scientific article; zbMATH DE number 3430642 (Why is no real title available?)
• scientific article; zbMATH DE number 3226296 (Why is no real title available?)
• scientific article; zbMATH DE number 3246881 (Why is no real title available?)
• scientific article; zbMATH DE number 3256619 (Why is no real title available?)
• scientific article; zbMATH DE number 3196340 (Why is no real title available?)
• A classification of Artin-Schreier defect extensions and characterizations of defectless fields
• Abhyankar places admit local uniformization in any characteristic
• Complete theories
• Diophantine Problems Over Local Fields I
• Elementary Properties of Ordered Abelian Groups
• Elementary properties of power series fields over finite fields
• Elimination of ramification. I: The generalized stability theorem
• Elimination of ramification. II: Henselian rationality
• Every place admits local uniformization in a finite extension of the function field
• Formally p-adic fields
• Immediate and purely wild extensions of valued fields
• Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
• Maximal fields with valuations. I, II
• Model theory
• On places of algebraic function fields.
• Places of algebraic function fields in arbitrary characteristic
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• The defect
• Valuation theoretic and model theoretic aspects of local uniformization
• Valuation theory
• Value groups, residue fields, and bad places of rational function fields
• Valued Fields

Cited in

(33)

• Properties of extensions of algebraically maximal fields
• A note on defectless extensions of henselian valued fields
• Burden of Henselian valued fields in the Denef-Pas language
• scientific article; zbMATH DE number 2020225 (Why is no real title available?)
• NIP Henselian valued fields
• On tolerant valuation rings
• Subfields of algebraically maximal Kaplansky fields
• Decidability via the tilting correspondence
• scientific article; zbMATH DE number 4181315 (Why is no real title available?)
• On stably pointed varieties and generically stable groups in ACVF
• Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
• scientific article; zbMATH DE number 4014853 (Why is no real title available?)
• Henselianity in the language of rings
• Counting the number of distinct distances of elements in valued field extensions
• scientific article; zbMATH DE number 46386 (Why is no real title available?)
• Diophantine problems over tamely ramified fields
• Linkage of Pfister forms over semi-global fields
• Tame key polynomials
• The model theory of separably tame valued fields
• Infinite towers of Galois defect extensions of Kaplansky fields
• The model theory of Cohen rings
• The valuation theory of deeply ramified fields and its connection with defect extensions
• Distances of elements in valued field extensions
• Eliminating field quantifiers in strongly dependent henselian fields
• On valuation independence and defectless extensions of valued fields
• Approximation types describing extensions of valuations to rational function fields
• Density of composite places in function fields and applications to real holomorphy rings
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• Henselian expansions of NIP fields
• Defect extensions and a characterization of tame fields
• Notes on extremal and tame valued fields
• Elimination of ramification. II: Henselian rationality
• Characterizing NIP henselian fields

This page was built for publication: The algebra and model theory of tame valued fields

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