The model theory of separably tame valued fields

DOI10.1016/J.JALGEBRA.2015.09.022MaRDI QIDQ897758zbMATH OpenOpenAlexFDO

Authors Franz-Viktor Kuhlmann, Koushik Pal

Publication date 7 December 2015

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

decidabilitymodel completenessvalued fieldsAx-Kochen-Ershovseparably tame fieldstame fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: A henselian valued field $K$ is called separably tame if its separable-algebraic closure $K^{operatornamesep}$ is a tame extension, that is, the ramification field of the normal extension $K^{operatornamesep}|K$ is separable-algebraically closed. Every separable-algebraically maximal Kaplansky field is a separably tame field, but not conversely. In this paper, we prove Ax-Kochen-Ershov Principles for separably tame fields. This leads to model completeness and completeness results relative to the value group and residue field. As the maximal immediate extensions of separably tame fields are in general not 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. Our approach also yields alternate proofs of known results for separably closed valued fields.

Recommendations

• The algebra and model theory of tame valued fields
• Tame fields and tame extensions
• Properties of extensions of algebraically maximal fields
• Tame key polynomials
• scientific article; zbMATH DE number 2020225

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3155247 (Why is no real title available?)
• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 3201718 (Why is no real title available?)
• scientific article; zbMATH DE number 3246402 (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
• Elementary Properties of Ordered Abelian Groups
• Elimination of ramification. I: The generalized stability theorem
• Every place admits local uniformization in a finite extension of the function field
• Field Arithmetic
• Immediate and purely wild extensions of valued fields
• Maximal fields with valuations. I, II
• Model Theory
• Notes on the stability of separably closed fields

Cited in

(10)

• NIP Henselian valued fields
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• scientific article; zbMATH DE number 6315710 (Why is no real title available?)
• scientific article; zbMATH DE number 3904717 (Why is no real title available?)
• scientific article; zbMATH DE number 4031664 (Why is no real title available?)
• Elimination of ramification. II: Henselian rationality
• Properties of extensions of algebraically maximal fields
• Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués
• The algebra and model theory of tame valued fields
• Characterizing NIP henselian fields

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

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