Related papers: Directed sets and topological spaces definable in …
We introduce two notions of a contractive orbit of a set-valued map defined in a first countable space. The first defines the contraction with respect to the topology of the underlying space while the second defines the contraction with…
In this article we use techniques developed by Hrushovski-Loeser to study certain metric properties of the Berkovich analytification of a finite morphism of smooth connected projective curves. In recent work, M. Temkin proved a radiality…
We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…
We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…
We continue our earlier investigation of dp-finite fields. We show that the "heavy sets" of [6] are exactly the sets of full dp-rank. As a consequence, full dp-rank is a definable property in definable families of sets. If $I$ is the group…
We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…
We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…
A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are…
We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…
We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the…
We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…
Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…
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…
We define the spaces of Schwartz functions, tempered functions and tempered distributions on manifolds definable in polynomially bounded o-minimal structures. We show that all the classical properties that these spaces have in the Nash…
In this paper we prove that for any definable subset $X\subset \mathbb{R}^{n}$ in a polynomially bounded o-minimal structure, with $dim(X)<n$, there is a finite set of regular projections (in the sense of Mostowski ). We give also a weak…
We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types,…
We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that…
We show that the derived subgroup of a linear definable group in an o-minimal structure is also definable, extending the semialgebraic case proved by A. Pillay. We also show the definability of the derived subgroup in case that the group is…