English
Related papers

Related papers: Henselian valued fields and inp-minimality

200 papers

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

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to…

Logic · Mathematics 2022-07-04 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

In this paper we present a characterization for the defect of a simple algebraic extensions of valued fields. This characterization generalizes the known result for the henselian case, namely that the defect is the product of the relative…

Commutative Algebra · Mathematics 2022-07-25 Josnei Novacoski , Enric Nart

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

In this paper, we mainly give a general explicit form of Cassels' $p$-adic embedding theorem for number fields. We also give its refined form in the case of cyclotomic fields. As a byproduct, given an irreducible polynomial $f$ over $Z$, we…

Number Theory · Mathematics 2014-10-21 Arturas Dubickas , Min Sha , Igor E. Shparlinski

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…

Logic · Mathematics 2013-07-02 Yimu Yin

Let F be a Henselian valued field with char(F) = p and D a semi-ramified, "not strongly degenerate" p-algebra. We show that all Galois subfields of D are inertial. Using this as a tool we study generic abelian crossed product p-algebras,…

Rings and Algebras · Mathematics 2007-05-29 Kelly McKinnie

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…

Algebraic Geometry · Mathematics 2018-01-09 Krzysztof Jan Nowak

Let X be a smooth proper variety over the quotient field of a Henselian discrete valuation ring with algebraically closed residue field of characteristic p. We show that for any coherent sheaf E on X, the index of X divides the…

Algebraic Geometry · Mathematics 2016-03-29 Hélène Esnault , Marc Levine , Olivier Wittenberg

We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded…

Algebraic Geometry · Mathematics 2015-06-04 R. Cluckers , F. Loeser

This paper characterizes the quasilocal fields from the class of Henselian valued fields with totally indivisible value groups, which possess finite separable extensions of nontrivial defect. We show that, for any prime number $q$, a…

Rings and Algebras · Mathematics 2014-12-12 I. D. Chipchakov

We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula…

Logic · Mathematics 2013-06-10 Raf Cluckers , Jamshid Derakhshan , Eva Leenknegt , Angus Macintyre

We characterize those valued fields for which the image of the valuation ring under every polynomial in several variables contains an element of maximal value, or zero.

Commutative Algebra · Mathematics 2013-04-02 Salih Azgin , Franz-Viktor Kuhlmann , Florian Pop

We prove that a valued field of positive characteristic $p$ that has only finitely many distinct Artin-Schreier extensions (which is a property of infinite NTP$_2$ fields) is dense in its perfect hull. As a consequence, it is a deeply…

Commutative Algebra · Mathematics 2021-01-14 Franz-Viktor Kuhlmann

A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We extend a construction of Ziegler and (among other…

Logic · Mathematics 2023-07-21 Brian Tyrrell

Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition "with many constants".

Logic · Mathematics 2017-03-27 Tigran Hakobyan

We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field…

Logic · Mathematics 2013-08-16 Krzysztof Krupinski

We study the model theory of deeply ramified fields of positive characteristic. Generalizing the perfect case treated in work by Jahnke and Kartas on the model theory of perfectoid fields, we obtain Ax-Kochen/Ershov principles for certain…

Logic · Mathematics 2026-04-01 Franziska Jahnke , Jonas van der Schaaf

Since the work by Denef, $p$-adic cell decomposition provides a well-established method to study $p$-adic and motivic integrals. In this paper, we present a variant of this method that keeps track of existential quantifiers. This enables us…

Number Theory · Mathematics 2023-04-25 Raf Cluckers , Mathias Stout

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