Related papers: Definably complete and Baire structures and Pfaffi…

We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of…

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…

Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical…

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…

We consider the finite $W$-superalgebra $U(\mathfrak{g_\bbf},e)$ for a basic Lie superalgebra ${\ggg}_\bbf=(\ggg_\bbf)_\bz+(\ggg_\bbf)_\bo$ associated with a nilpotent element $e\in (\ggg_\bbf)_{\bar0}$ both over the field of complex…

A famous result of Freiman describes the structure of finite sets A of integers with small doubling property. If |A + A| <= K|A| then A is contained within a multidimensional arithmetic progression of dimension d(K) and size f(K)|A|. Here…

Let ${\mathbb M}$ be an arbitrary o-minimal structure. Let $G$ be a definably compact definably connected abelian definable group of dimension $n$. Here we compute the new the intrinsic o-minimal fundamental group of $G;$ for each $k>0$,…

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…

In this paper we show that the equivalences between certain properties of closed subanalytic sets proved by E. Bierstone and P. Milman in \cite{[BM-1]} hold for closed sets definable in quasianalytic o-minimal structures. In particular we…

All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3)…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…

We prove an effective version of the Pila-Wilkie Theorem for sets definable using Pfaffian functions, providing effective estimates for the number of algebraic points of bounded height and degree lying on such sets. We also prove effective…

In this paper, we show that some fundamental results for smooth mappings (e.g., the Brouwer degree formula, the implicit function and inverse function theorems, the mean value theorem, Sard's theorem, Hadamard's global invertibility…

We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite…

I prove the statement in the title using results from arXiv:2404.07646(2). This shows that Question~1.1 in [1] has negative answer for certain expansions of a valued field.

We consider the natural generalization of the notion of the order of a phantom map from the topological setting to triangulated categories. When applied to the derived category of the category of countable flat modules over a countable…