Related papers: Distality in valued fields and related structures
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…
In this note, we construct a distal expansion for the structure $(\mathbb{R}; +,<,H)$, where $H\subseteq \mathbb{R}$ is a dense $\mathbb{Q}$-vector space basis of $\mathbb{R}$ (a so-called Hamel basis). Our construction is also an expansion…
We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…
We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the…
In this paper we introduce a new invariant (the distant degree) for difference field extensions of finite transcendence degree, and we explore some of its properties. We also discuss a generalisation of this invariant and of the limit…
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…
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…
The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and…
We provide a characterization of distal ordered abelian groups: An ordered abelian group is distal if and only if, for each prime number $p$, the sizes of ribs with respect to the "valuation" $\mathfrak{s}_p$ are uniformly bounded. This…
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…
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 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 show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…
A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then…
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…
We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…
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…
We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.
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…
We show that every valued differential field has an immediate strict extension that is spherically complete. We also discuss the issue of uniqueness up to isomorphism of such an extension.