Related papers: Convexly orderable groups and valued fields
We study combinatorial properties of convex sets over arbitrary valued fields. We demonstrate analogs of some classical results for convex sets over the reals (e.g. the fractional Helly theorem and B\'ar\'any's theorem on points in many…
Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…
We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings…
We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…
We show that the VC-density in certain theories of oriented abelian groups is at most the size of parameter variables, which yields dp-minimality. We further prove that the VC-density of formulas in pairs of such models is bounded by twice…
We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides…
There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it difference} field (that is, ordered or valued field endowed…
Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…
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 consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…
The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible…
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…
We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…
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…
In this paper we present a unified proof of the fact that the category of modules over a ring and the category of near-vector spaces in the sense of J. Andr\'e, over an appropriate scalar system (a 'scalar group'), are both abelian…
We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.
We show that functions definable in power bounded $T$-convex fields have the (multidimensional) Jacobian property. Building on work of I. Halupczok, this implies that a certain notion of non-archimedean stratifications is available in such…
In this paper a class of conformal field theories with nonabelian and discrete group of symmetry is investigated. These theories are realized in terms of free scalar fields starting from the simple $b-c$ systems and scalar fields on…
We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is…