Related papers: Lebesgue's Density Theorem and definable selectors…

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

In spite of the Lebesgue density theorem, there is a positive $\delta$ such that, for every non-trivial measurable set $S$ of real numbers, there is a point at which both the lower densities of $S$ and of the complement of $S$ are at least…

We look at a measure, $\lambda^\infty$, on the infinite-dimensional space, ${\mathbb R}^\infty$, for which we attempt to put forth an analogue of the Lebesgue density theorem. Although this measure allows us to find partial results, for…

For a nontrivial measurable set on the real line, there are always exceptional points, where the lower and upper densities of the set are neither zero nor one. We quantify this statement, following work by V. Kolyada, and obtain the…

The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…

We define a class of so-called thinnable ideals $\mathcal{I}$ on the positive integers which includes several well-known examples, e.g., the collection of sets with zero asymptotic density, sets with zero logarithmic density, and several…

We consider Choquet integrals with respect to dyadic Hausdorff content of non-negative functions which are not necessarily Lebesgue measurable. We study the theory of Lebesgue points. The studies yield convergence results and also a density…

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…

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat\Phi([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat\Phi([A])$ are called $\mathcal{T}$-regular. We establish several results…

The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…

Can we find a self-similar set on the line with positive Lebesgue measure and empty interior? Currently, we do not have the answer for this question for deterministic self-similar sets. In this paper we answer this question negatively for…

We prove a bound on the number of primes with a given splitting behaviour in a given field extension. This bound generalises the Brun-Titchmarsh bound on the number of primes in an arithmetic progression. The proof is set up as an…

We prove that if $E \subseteq \mathbb{R}^d$ ($d\geq 2$) is a Lebesgue-measurable set with density larger than $\frac{n-2}{n-1}$, then $E$ contains similar copies of every $n$-point set $P$ at all sufficiently large scales. Moreover,…

New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…

A classical result of Arne Beurling states that the Fourier transform of a nonzero complex Borel measure $\mu$ on the real line cannot vanish on a set of positive Lebesgue measure if $\mu$ has certain decay. We prove a several variable…

We prove that the boundary of every multigeometric Cantorval is a null set, and extend this result to a larger class of standard achievable Cantorvals. In addition, we discuss the sets of uniqueness of achievement sets and show that they…

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…

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…