Related papers: Definable valuations on ordered fields

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 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…

Let $K$ be a large field such that $K[\sqrt{-1}]$ is not algebraically closed and $F/K$ a function field in one variable. Extending techniques and results from earlier work with Becher and Dittmann, we show that every valuation ring on $F$…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We prove that for every ordered abelian group $G$ there exists a non-trivial ordered abelian group $H$ such that $G\preccurlyeq H\oplus G$ with the lexicographic order, and give a first-order characterization of ordered abelian group $G$…

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…

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability…

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…

We investigate when an ordered abelian group $G$ is stably embedded in a given elementary extension $H$. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a…

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…

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…

A field is existentially t-henselian if it is has the same existential theory in the first-order language of rings as a field that admits a nontrivial henselian valuation. This property turns out to be equivalent to $\mathbb{Z}$-largeness,…

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure…

Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation…

We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…

We study the concept of hypervaluations on hyperfields. In particular, we show that any hypervaluation from a hyperfield onto an ordered canonical hypergroup is the composition of a hypervaluation onto an ordered abelian group (which…

This paper finds a classification, up-to an isomorphism, of abelian torsion groups realizable as Brauer groups of major types of Henselian valued primarily quasilocal fields with totally indivisible value groups. When $E$ is a quasilocal…

We show how suitable extensions $(L|K,v)$ of prime degree of valued fields give rise to definable coarsenings of the valuation rings of $L$ and $K$. In the case of Artin-Schreier and Kummer extensions with wild ramification, we can also…

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.…

We give an explicit classification of translation-invariant, Lorentz-invariant continuous valuations on convex sets. We also classify the Lorentz-invariant even generalized valuations.