Related papers: Definable Valuations induced by multiplicative sub…

We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending…

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

We investigate fields of characteristic 0 and dp-rank 2. While we do not obtain a classification, we prove that any unstable field of characteristic 0 and dp-rank 2 admits a unique definable V-topology. If this statement could be…

We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable…

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

Strongly dependent ordered abelian groups have finite dp-rank. They are precisely those groups with finite spines and $|\{p\text{ prime}:[G:pG]=\infty\}|<\infty$. We apply this to show that if $K$ is a strongly dependent field, then $(K,v)$…

In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.

We consider random fields that can be represented as integrals of deterministic functions with respect to infinitely divisible random measures and show that these random fields are infinitely divisible.

Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.

In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…

An exponential homomorphism for a complete discrete valuation field of characteristic zero which relates differential forms and the Milnor K-groups of the field is studied. An application to explicit formulas is included.

We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its…

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

Let $(K,v)$ be a henselian valued field. Let $\mathbb{P}^{dless}\subset K[x]$ be the set of monic, irreducible polynomials which are defectless and have degree greater than one. For a certain equivalence relation $\,\approx\,$ on…

An extension (K(X)|K, v) of valued fields is said to be valuation transcendental if we have equality in the Abhyankar inequality. Minimal pairs of definition are fundamental objects in the investigation of valuation transcendental…

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…

Let $p$ be a prime number and let $F$ be a field containing a root of unity of order $p$. We prove that a certain very small canonical Galois group $(G_F)_{[3]}$ over $F$ encodes the valuations on $F$ whose value group is not $p$-divisible…