相关论文: Recent Progress on Definability of Henselian Valua…
We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings…
We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian valuation is definable, it is already definable by a…
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…
In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…
We study the question of $\mathcal{L}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial…
Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…
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…
In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…
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…
We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its…
Admitting a non-trivial $p$-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, $p$-henselianity is an elementary property in the language of rings. We are interested…
We discuss definability of henselian valuation rings in the Macintyre language $\mathcal{L}_{\rm Mac}$, the language of rings expanded by n-th power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian…
We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…
We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free $\forall\exists$-formula nor by a parameter-free $\exists\forall$-formula in the language of rings. This answers a…
We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…
Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…
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…
We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…
We give model theoretic criteria for $\exists \forall$ and $\forall \exists$- formulas in the ring language to define uniformly the valuation rings $\mathcal{O}$ of models $(K, \mathcal{O})$ of an elementary theory $\Sigma$ of henselian…