The algebra and model theory of tame valued fields

DOI10.1515/CRELLE-2014-0029zbMATH Open1401.13011arXiv1304.0194OpenAlexW2963536985MaRDI QIDQ323734FDOQ323734

Franz-Viktor Kuhlmann

Publication date: 10 October 2016

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

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.

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (31)

• Properties of extensions of algebraically maximal fields
• Title not available (Why is that?)
• Burden of Henselian valued fields in the Denef-Pas language
• NIP Henselian valued fields
• Subfields of algebraically maximal Kaplansky fields
• On tolerant valuation rings
• Decidability via the tilting correspondence
• Title not available (Why is that?)
• Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
• On stably pointed varieties and generically stable groups in ACVF
• Title not available (Why is that?)
• Henselianity in the language of rings
• Counting the number of distinct distances of elements in valued field extensions
• Title not available (Why is that?)
• Diophantine problems over tamely ramified fields
• Linkage of Pfister forms over semi-global fields
• Tame key polynomials
• The valuation theory of deeply ramified fields and its connection with defect extensions
• Infinite towers of Galois defect extensions of Kaplansky fields
• The model theory of Cohen rings
• Distances of elements in valued field extensions
• Eliminating field quantifiers in strongly dependent henselian fields
• Title not available (Why is that?)
• 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
• Characterizing NIP henselian fields
• Elimination of ramification. II: Henselian rationality

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)