English
Related papers

Related papers: On Strongly NIP Ordered Fields and Definable Conve…

200 papers

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field,…

Logic · Mathematics 2019-09-18 Clifton Ealy , Deirdre Haskell , Jana Maříková

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 prove an assortment of results on (commutative and unital) NIP rings, especially $\mathbb{F}_p$-algebras. Let $R$ be a NIP ring. Then every prime ideal or radical ideal of $R$ is externally definable, and every localization $S^{-1}R$ is…

Logic · Mathematics 2022-07-20 Will Johnson

One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by…

Rings and Algebras · Mathematics 2022-11-10 Alessandro Linzi , Pierre Touchard

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…

Logic · Mathematics 2024-04-17 Kien Huu Nguyen , Mathias Stout , Floris Vermeulen

We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.

Logic · Mathematics 2023-03-08 Sylvy Anscombe , Philip Dittmann , Arno Fehm

We continue our earlier investigation of dp-finite fields. We show that the "heavy sets" of [6] are exactly the sets of full dp-rank. As a consequence, full dp-rank is a definable property in definable families of sets. If $I$ is the group…

Logic · Mathematics 2019-10-18 Will Johnson

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

Algebraic Geometry · Mathematics 2018-11-29 Krzysztof Jan Nowak

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

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

Algebraic Geometry · Mathematics 2019-02-01 Krzysztof Jan Nowak

We generalize previous results about stable domination and residue field domination to henselian valued fields of equicharacteristic 0 with bounded Galois group, and we provide an alternate characterization of stable domination in…

Logic · Mathematics 2023-11-08 Clifton Ealy , Deirdre Haskell , Pierre Simon

We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the…

Logic · Mathematics 2020-05-01 Will Johnson

We study Lie rings definable in a finite-dimensional theory, extending the results for the finite Morley rank case. In particular, we prove a classification of Lie rings of dimension up to four in the NIP or connected case. In…

Logic · Mathematics 2025-11-11 Moreno Invitti

Let $p$ be a prime. For $p=2$, the fields of values of the complex irreducible characters of finite groups whose degrees are not divisible by $p$ have been classified; for odd primes $p$, a conjectural classification has been proposed. In…

Representation Theory · Mathematics 2026-01-26 Nguyen N. Hung , Gabriel Navarro , Pham Huu Tiep

A complete classification of all continuous, epi-translation and rotation invariant valuations on the space of super-coercive convex functions on ${\mathbb R}^n$ is established. The valuations obtained are functional versions of the…

Functional Analysis · Mathematics 2024-11-19 Andrea Colesanti , Monika Ludwig , Fabian Mussnig

Let $K$ be the fraction field of a Henselian discrete valuation ring with algebraically closed residue field $k$. In this article we give a sufficient criterion for a projective variety over such a field to have index $1$.

Algebraic Geometry · Mathematics 2020-01-07 Ananyo Dan , Inder Kaur

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Logic · Mathematics 2024-04-09 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

In this paper, we study the structure of the graded ring associated to a limit key polynomial $Q_n$ in terms of the key polynomials that define $Q_n$. In order to do that, we use direct limits. In general, we describe the direct limit of a…

Commutative Algebra · Mathematics 2022-10-24 Caio Henrique Silva de Souza , Josnei Antonio Novacoski , Mark Spivakovsky

We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate…

This work presents author's explicit methods of constructing abelian extensions of complete discrete valuation fields. His approach to explicit equations of a cyclic extension of degree p^n which contains a given cyclic extension of degree…

Number Theory · Mathematics 2009-09-25 Igor Zhukov