Related papers: Coarse dimension and definable sets in expansions …

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

Let $\mathcal{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R},<,+)$ by closed subsets of $\mathbb{R}^n$ and continuous functions $f : \mathbb{R}^m \to \mathbb{R}^n$. Then $\mathcal{R}$ is generically locally o-minimal. It follows that if…

A first-order expansion of the $\mathbb{R}$-vector space structure on $\mathbb{R}$ does not define every compact subset of every $\mathbb{R}^n$ if and only if topological and Hausdorff dimension coincide on all closed definable sets.…

Consider an expansion $\mathcal R=(R,<,+,\ldots)$ of an ordered divisible Abelian group of finite burden defining no nonempty subset $X$ of $R$ which is dense and codense in a definable open subset $U$ of $R$ with $X \subseteq U$. We…

An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective…

This note is motivated by the article of Bamerni, Kadets and Kili\c{c}man [J. Math. Anal. Appl. 435 (2), 1812--1815 (2016)]. We consider the remaining problem which claims that if $A$ is a dense subset of a finite dimensional space $X$,…

A coarse space $X$, endowed with a linear order compatible with the coarse structure of $X$, is called linearly ordered. We prove that every linearly ordered coarse space $X$ is locally convex and the asymptotic dimension of $X$ is either…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We introduce and study a new topological notion of the size for subsets of the real line, called \emph{super-density}. A set $A\subset\mathbb{R}$ is super-dense if for every non-empty open interval $I$ and every nowhere constant continuous…

For each vector $x\in \ell^{\infty}$, we can define the non-empty compact set $L_x$ of accumulation points of $x$. Given an infinite subset $A$ of $\mathbb{N}\backslash\{1\}$, we can therefore investigate under which conditions on $A$, the…

We show that, for every $1 \leq p < +\infty$ and for every Borel probability measure $\mathbb{P}$ over $\mathbb{R}$, every element of $L^{p}(\mathbb{R}, \mathscr{B}_{\mathbb{R}}, \mathbb{P})$ is the $L^{p}$-limit of some sequence of bounded…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of…

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…

In this article, we study the structure of the difference set $E - E$ for subsets $E \subseteq \mathbb{Z}^2$ of positive upper Banach density. Fish asked in [Proc. Amer. Math. Soc. 146 (2018), 3449-3453] whether, for every such set $E$,…

We define and study expansion problems on countable structures in the setting of descriptive combinatorics. We consider both expansions on countable Borel equivalence relations and on countable groups, in the Borel, measure and category…

For a locally convex vector space (l.c.v.s.) $E$ and an absolutely convex neighborhood $V$ of zero, a bounded subset $A$ of $E$ is said to be $V$-dentable (respectively, $V$-f-dentable) if for any $\epsilon>0$ there exists an $x\in A$ so…

We reconsider in some detail a construction allowing (Borel) convergence of an alternative perturbative expansion, for specific physical quantities of asymptotically free models. The usual perturbative expansions (with an explicit mass…

Let $(\mathcal{X},\rho)$ be a metric space and $\lambda$ be a Borel measure on this space defined on the $\sigma$-algebra generated by open subsets of $\mathcal{X}$; this measure $\lambda$ defines volumes of Borel subsets of $\mathcal{X}$.…