Related papers: Lebesgue's Density Theorem and definable selectors…
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…
According to the Dudley-Wichura extension of the Skorohod representation theorem, convergence in distribution to a limit in a separable set is equivalent to the existence of a coupling with elements converging a.s. in the metric. A density…
We study the finite dimensional partition properties of the countable homogeneous dense local order. Some of our results use ideas borrowed from the partition calculus of the rationals and are obtained thanks to a strengthening of…
We prove a version of the Lebesgue Differentiation Theorem for mappings that are defined on a measure space and take values into a metric space, with respect to the differentiation basis induced by a von Neumann lifting. As a consequence,…
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $\delta$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting…
Lebesgue's dominated convergence theorem is a crucial pillar of modern analysis, but there are certain areas of the subject where this theorem is deficient. Deeper criteria for convergence of integrals are described in this article.
We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of realizations each gives for some formula. Being…
Given a finite Borel measure $\mu$ on R n and basic semi-algebraic sets $\Omega$\_i $\subset$ R n , i = 1,. .. , p, we provide a systematic numerical scheme to approximate as closely as desired $\mu$(\cup\_i $\Omega$\_i), when all moments…
We give a short proof of the $L^{1}$ criterion for Beurling generalized integers to have a positive asymptotic density. We actually prove the existence of density under a weaker hypothesis. We also discuss related sufficient conditions for…
Effective versions of strong measure zero sets are developed for various levels of complexity and computability. It is shown that the sets can be equivalently defined using a generalization of supermartingales called odds supermartingales,…
We give a purely combinatorial proof of the density Hales--Jewett Theorem that is modeled after Polymath's proof but is significantly simpler. In particular, we avoid the use of the equal-slices measure and work exclusively with the uniform…
We consider a special one-parameter family of d-dimensional random, homogeneous self-similar iterated function systems (IFSs) satisfying the finite type condition. The object of our study is the positivity of Lebesgue measure and the…
We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective…
We construct a weakly compact convex subset of $\ell^2$ with nonempty interior that has an isolated maximal element, with respect to the lattice order $\ell _+^2$. Moreover, the maximal point cannot be supported by any strictly positive…
We give formulas for the number of ad-nilpotent ideals of a Borel subalgebra of a Lie algebra of type B or D containing a fixed number of root spaces attached to simple roots. This result solves positively a conjecture of Panyushev (cf. D.…
Let $D$ be the ring of $S$-integers in a global field and $\hat{D}$ its profinite completion. We discuss the relation between density in $D$ and the Haar measure of $\hat{D}$: in particular, we ask when the density of a subset $X$ of $D$ is…
In this paper, we establish spectral inequalities on measurable sets of positive Lebesgue measure for the Stokes operator, as well as an observability inequalities on space-time measurable sets of positive measure for non-stationary Stokes…
This paper examines asymptotic equivalence in the sense of Le Cam between density estimation experiments and the accompanying Poisson experiments. The significance of asymptotic equivalence is that all asymptotically optimal statistical…
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\meg 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. A vector homogeneous tree $\mathbf{T}$…
We evaluate the values of the Lebesgue constants in polynomial interpolation for three types of Cantor sets. In all cases, the sequences of Lebesgue constants are not bounded. This disproves the statement by Mergelyan.