Related papers: On Strongly NIP Ordered Fields and Definable Conve…
Pre-$H$-fields are ordered valued differential fields satisfying some basic axioms coming from transseries and Hardy fields. We study pre-$H$-fields that are differential-Hensel-Liouville closed, that is, differential-henselian, real…
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
We give general conditions under which classes of valued fields have NIPn transfer and generalize the Anscombe-Jahnke classification of NIP henselian valued fields to NIPn henselian valued fields.
We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem…
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…
We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we…
In this paper we present the following two results: we give an explicit description of the space of orderings of the field Q(x) as an inverse limit of finite spaces of orderings and we provide a new, simple proof of the fact that the class…
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…
We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16,…
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…
An overview of some of the recent developments in the theory of valuations on convex sets and its generalizations to manifolds is given. The exposition is focused towards applications to integral geometry; several of such applications are…
In this paper, we study linear spaces of matrices defined over discretely valued fields and discuss their dimension and minimal rank drops over the associated residue fields. To this end, we take first steps into the theory of rank-metric…
We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on $p$-adic subanalytic sets, and we continue the study of non-archimedean fields with…
We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the…
Valuation based systems verifying an idempotent property are studied. A partial order is defined between the valuations giving them a lattice structure. Then, two different strategies are introduced to represent valuations: as infimum of…
Finite valued constraint satisfaction problems are a formalism for describing many natural optimization problems, where constraints on the values that variables can take come with rational weights and the aim is to find an assignment of…
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…
The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n, there is a definable type p in X, definable over a code for…
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…