English
Related papers

Related papers: Extension bases in Henselian valued fields

200 papers

So far there exist just a few results about the uniqueness of maximal immediate valued differential field extensions and about the relationship between differential-algebraic maximality and differential-henselianity; see arXiv:1509.02588,…

Commutative Algebra · Mathematics 2020-09-28 Lou van den Dries , Nigel Pynn-Coates

We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified…

Logic · Mathematics 2023-10-23 Martin Hils , Silvain Rideau-Kikuchi

We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann , Izabela Vlahu

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

Logic · Mathematics 2019-02-06 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

We develop a theory of extensions of hyperfields that generalizes the notion of field extensions. Since hyperfields have a multivalued addition, we must consider two kinds of extensions that we call weak hyperfield extensions and strong…

Rings and Algebras · Mathematics 2019-12-13 Steven Creech

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…

Logic · Mathematics 2009-08-18 Raf Cluckers , Leonard Lipshitz

We show that asymptotic (valued differential) fields have unique maximal immediate extensions. Connecting this to differential-henselianity, we prove that any differential-henselian asymptotic field is differential-algebraically maximal,…

Commutative Algebra · Mathematics 2020-12-09 Nigel Pynn-Coates

We study the question which henselian fields admit definable henselian valuations (with or without parameters). We show that every field which admits a henselian valuation with non-divisible value group admits a parameter-definable…

Logic · Mathematics 2015-01-20 Franziska Jahnke , Jochen Koenigsmann

We previously obtained a generalization and refinement of results about the ramification theory of Artin-Schreier extensions of discretely valued fields in characteristic $p$ with perfect residue fields to the case of fields with more…

Number Theory · Mathematics 2017-07-07 Vaidehee Thatte

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…

Logic · Mathematics 2020-01-16 Will Johnson

In this note we investigate the question whether a henselian valued field carries a non-trivial 0-definable henselian valuation (in the language of rings). It follows from the work of Prestel and Ziegler that there are henselian valued…

Logic · Mathematics 2014-08-01 Franziska Jahnke , Jochen Koenigsmann

We study the relation between two important classes of valued fields: tame fields and defectless fields. We show that in the case of valued fields of equal characteristic or rank one valued fields of mixed characteristic, tame fields are…

Commutative Algebra · Mathematics 2022-09-08 Anna Rzepka , Piotr Szewczyk

We prove that every ultraproduct of $p$-adics is inp-minimal (i.e., of burden $1$). More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic $0$ in the RV…

Logic · Mathematics 2019-08-27 Artem Chernikov , Pierre Simon

We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory…

Logic · Mathematics 2016-06-22 Sylvy Anscombe , Arno Fehm

We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…

Commutative Algebra · Mathematics 2010-03-31 Franz-Viktor Kuhlmann

We investigate the model completeness of the theory of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group…

Logic · Mathematics 2024-04-05 Anna De Mase

We study the domination monoid in various classes of structures arising from the model theory of henselian valuations, including RV-expansions of henselian valued fields of residue characteristic 0 (and, more generally, of benign valued…

Logic · Mathematics 2024-05-01 Martin Hils , Rosario Mennuni

In this paper, we concern the model theory of finitely ramified henselian valued fields via higher valued hyperfields. Most of all, we provide a number of Ax-Kochen-Ershov Theorems for finitely ramified henselian valued fields relative to…

Logic · Mathematics 2025-02-28 Junguk Lee

We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann

In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify…

Commutative Algebra · Mathematics 2025-03-24 Caio Henrique Silva de Souza , Mark Spivakovsky