Erdős proved that every real number is the sum of two Liouville numbers. A set W of complex numbers is said to have the Erdős property if every real number is the sum of two members of W. Mahler divided the set of all transcendental numbers into three disjoint classes S, T and U such that, in particular, any two complex numbers which are algebraically dependent lie in the same class. The set of Liouville numbers is a proper subset of the set U and has Lebesgue measure zero. It is proved here, using a theorem of Weil on locally compact groups, that if $m\in [0,\infty )$, then there exist $2^{\mathfrak {c}}$ dense subsets W of S each of Lebesgue measure m such that W has the Erdős property and no two of these W are homeomorphic. It is also proved that there are $2^{\mathfrak {c}}$ dense subsets W of S each of full Lebesgue measure, which have the Erdős property. Finally, it is proved that there are $2^{\mathfrak {c}}$ dense subsets W of S such that every complex number is the sum of two members of W and such that no two of these W are homeomorphic.

We introduce a pointwise variant of the Assouad dimension for measures on metric spaces, and study its properties in relation to the global Assouad dimension. We show that, in general, the value of the pointwise Assouad dimension may differ from the global counterpart, but in many classical cases, the pointwise Assouad dimension exhibits similar exact dimensionality properties as the classical local dimension, namely it equals the global Assouad dimension almost everywhere. We also prove an explicit formula for the Assouad dimension of certain invariant measures with place-dependent probabilities supported on self-conformal sets.

For $1\le p <\infty $ , we present a reflexive Banach space $\mathfrak {X}^{(p)}_{\text {awi}}$ , with an unconditional basis, that admits $\ell _p$ as a unique asymptotic model and does not contain any Asymptotic $\ell _p$ subspaces. Freeman et al., Trans. AMS. 370 (2018), 6933–6953 have shown that whenever a Banach space not containing $\ell _1$ , in particular a reflexive Banach space, admits $c_0$ as a unique asymptotic model, then it is Asymptotic $c_0$ . These results provide a complete answer to a problem posed by Halbeisen and Odell [Isr. J. Math. 139 (2004), 253–291] and also complete a line of inquiry of the relation between specific asymptotic structures in Banach spaces, initiated in a previous paper by the first and fourth authors. For the definition of $\mathfrak {X}^{(p)}_{\text {awi}}$ , we use saturation with asymptotically weakly incomparable constraints, a new method for defining a norm that remains small on a well-founded tree of vectors which penetrates any infinite dimensional closed subspace.

A thin set is defined to be an uncountable dense zero-dimensional subset of measure zero and Hausdorff measure zero of an Euclidean space. A fat set is defined to be an uncountable dense path-connected subset of an Euclidean space which has full measure, that is, its complement has measure zero. While there are well-known pathological maps of a set of measure zero, such as the Cantor set, onto an interval, we show that the standard addition on $\mathbb {R}$ maps a thin set onto a fat set; in fact the fat set is all of $\mathbb {R}$ . Our argument depends on the theorem of Paul Erdős that every real number is a sum of two Liouville numbers. Our thin set is the set $\mathcal {L}^{2}$ , where $\mathcal {L}$ is the set of all Liouville numbers, and the fat set is $\mathbb {R}$ itself. Finally, it is shown that $\mathcal {L}$ and $\mathcal {L}^{2}$ are both homeomorphic to $\mathbb {P}$ , the space of all irrational numbers.

As pointed out by Alexandre Bailleul, the paper mentioned in the title contains a mistake in Theorem 2.2. The hypothesis on the linear relation of the almost periods is not sufficient. In this note, we fix the problem and its minor consequences on other results in the same paper.

We generalize current known distribution results on Shanks–Rényi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function field analogues developed in the recent years. More precisely, let $\unicode[STIX]{x1D70B}(x;q,a)$ be the number of primes up to $x$ that are congruent to $a$ modulo $q$. For a fixed integer $q$ and distinct invertible congruence classes $a_{0},a_{1},\ldots ,a_{D}$, assuming the generalized Riemann Hypothesis and a weak version of the linear independence hypothesis, we show that the set of real $x$ for which the inequalities $\unicode[STIX]{x1D70B}(x;q,a_{0})>\unicode[STIX]{x1D70B}(x;q,a_{1})>\cdots >\unicode[STIX]{x1D70B}(x;q,a_{D})$ are simultaneously satisfied admits a logarithmic density.

In analogy with the lower Assouad dimensions of a set, we study the lower Assouad dimensions of a measure. As with the upper Assouad dimensions, the lower Assouad dimensions of a measure provide information about the extreme local behaviour of the measure. We study the connection with other dimensions and with regularity properties. In particular, the quasi-lower Assouad dimension is dominated by the infimum of the measure’s lower local dimensions. Although strict inequality is possible in general, equality holds for the class of self-similar measures of finite type. This class includes all self-similar, equicontractive measures satisfying the open set condition, as well as certain “overlapping” self-similar measures, such as Bernoulli convolutions with contraction factors that are inverses of Pisot numbers.

We give lower bounds for the lower Assouad dimension for measures arising from a Moran construction, prove that self-affine measures are uniformly perfect and have positive lower Assouad dimension, prove that the Assouad spectrum of a measure converges to its quasi-Assouad dimension and show that coincidence of the upper and lower Assouad dimension of a measure does not imply that the measure is s-regular.

The class of stochastically self-similar sets contains many famous examples of random sets, for example, Mandelbrot percolation and general fractal percolation. Under the assumption of the uniform open set condition and some mild assumptions on the iterated function systems used, we show that the quasi-Assouad dimension of self-similar random recursive sets is almost surely equal to the almost sure Hausdorff dimension of the set. We further comment on random homogeneous and V -variable sets and the removal of overlap conditions.

Given an integer $n\,\ge \,3$, a metrizable compact topological $n$-manifold $X$ with boundary, and a finite positive Borel measure $\mu$ on $X$, we prove that for the typical homeomorphism $f:\,X\,\to \,X$, it is true that for $\mu$-almost every point $x$ in $X$ the restriction of $f$ (respectively of ${{f}^{-1}}$) to the omega limit set $\omega \left( f,\,x \right)$ (respectively to the alpha limit set $\alpha \left( f,\,x \right)$) is topologically conjugate to the universal odometer.

Given an integer $n\,\ge \,3$, a metrizable compact topological $n$-manifold $X$ with boundary, and a finite positive Borel measure $\mu $ on $X$, we prove that for the typical homeomorphism $f\,:\,X\,\to \,X$, it is true that for $\mu $-almost every point $x$ in $X$ the limit set $\omega (f,\,x)$ is a Cantor set of Hausdorff dimension zero, each point of $\omega (f,\,x)$ has a dense orbit in $\omega (f,\,x)$, $f$ is non-sensitive at each point of $\omega (f,\,x)$, and the function $a\,\to \,\omega (f,\,a)$ is continuous at $x$.

The main problem investigated in this paper is the following. Assume that we are given a convergent projective system of topological measure spaces ordered by ordinals. When does there exist a consistent system of liftings (densities, linear liftings) on the projective system converging to a lifting (density, linear lifting) on the limit space. We look mainly for strong or strong completion Baire liftings. We reduce the problem to the question about the existence of strong liftings being inverse images of other strong liftings under measure preserving mappings (Proposition 2.4) and then we adapt a condition applied earlier by A. and C. Ionescu Tulcea [14] to get a strong lifting for an arbitrary measure on a product space (Theorem 2.7). In this way we get some results (see Theorems 2.7, 5.3, 5.7, 6.4 and 6.5) extending the well known achievements of A. and C. Ionescu Tulcea [14] and Fremlin [9].

The application of projective limits allows us to carry over results obtained earlier only for product spaces (see e.g. [23], [18], [19], [20], [21]) to more general classes of topological probability spaces. In particular, we can extend the class of spaces for which there is a positive answer to a problem of J. Kupka [17] concerning the permanence of the strong lifting property under the formation of products (see Theorem 6.5).

We give a direct proof that the space of Baire quasi-measures on a completely regular space (or the space of Borel quasi-measures on a normal space) is compact Hausdorff. We show that it is possible for the space of Borel quasi-measures on a non-normal space to be non-compact. This result also provides an example of a Baire quasi-measure that has no extension to a Borel quasi-measure. Finally, we give a concise proof of the Wheeler-Shakmatov theorem, which states that if $X$ is normal and $\dim\left( X \right)\,\le \,1$, then every quasi-measure on $X$ extends to a measure.

We give a simple proof that, for any ॉ > 0, there is an outer measure μ* on a finite set X such that, for any measure Thus there is a non-zero outer (finitely subadditive) measure v* on the clopen subsets of the Cantor set such that, if v ≤ v* is a finitely additive measure on the clopen subsets of the Cantor set, then v ≡ 0.

Using ideas of McShane ([4, Example 3]), a detailed development of the Riemann integral in a locally compact Hausdorff space X was presented in [1]. There the Riemann integral is derived from a finitely additive volume v defined on a suitable semiring of subsets of X. Vis-à-vis the Riesz representation theorem ([8, Theorem 2.141), the integral generates a Riesz measure v in X, whose relationship to the volume v was carefully investigated in [1, Section 7].

In the present paper, we use the same setting as in [1] but produce the measure directly without introducing the Riemann integral. Specifically, we define an outer measure by means of gages and introduce a very intuitive concept of gage measurability that is different from the usual Carathéodory définition. We prove that if the outer measure is σ-finite, the resulting measure space is identical to that defined by means of the Carathéodory technique, and consequently to that of [1, Section 7]. If the outer measure is not σ-finite, we investigate the gage measurability of Carathéodory measurable sets that are σ-finite. Somewhat surprisingly, it turns out that this depends on the axioms of set theory.