Related papers: Characterizing NIP henselian fields
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…
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…
This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…
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…
We prove that an expansion of an algebraically closed field by $n$ arbitrary valuation rings is NTP${}_2$, and in fact has finite burden. It fails to be NIP, however, unless the valuation rings form a chain. Moreover, the incomplete theory…
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 use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…
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.
The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.
We study the behaviour of forking in valued fields, and we give several sufficient conditions for parameter sets in a Henselian valued field of residue characteristic zero to be an extension base. Notably, we consider arbitrary (potentially…
We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated.
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 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…
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…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
We give a characterization of finitely ramified $\omega$-pseudo complete valued fields of mixed characteristic $(0, p)$, with fixed residue field $k$ and value group $G$ of cardinality $\aleph_{1}$, in terms of a Hahn-like construction over…
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,…
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…
Let $K$ be a type-definable infinite field in an NIP theory. If $K$ has characteristic $p > 0$, then $K$ is Artin-Schreier closed (it has no Artin-Schreier extensions). As a consequence, $p$ does not divide the degree of any finite…