In his paper in Fund. Math. 178 (2003), Miller presented two conjectures regarding MAD families. The first is that CH implies the existence of a MAD family that is also a σ-set. The second is that under CH, there is a MAD family concentrated on a countable subset. These are proved in the present paper.
We consider the problem of finding a measurable unfriendly partition of the vertex set of a locally finite Borel graph on standard probability space. After isolating a sufficient condition for the existence of such a partition, we show how it settles the dynamical analog of the problem (up to weak equivalence) for graphs induced by free, measure-preserving actions of groups with designated finite generating set. As a corollary, we obtain the existence of translation-invariant random unfriendly colorings...
According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving systems to provide a perspicuous proof of Szemerédi’s theorem. Beleznay and Foreman showed that, in general, the transfinite construction of the maximal distal factor of a separable measure-preserving system can extend arbitrarily far into the countable ordinals....
If (X,d) is a metric space then a map f: X → X is defined to be a weak contraction if d(f(x),f(y)) < d(x,y) for all x,y ∈ X, x ≠ y. We determine the simplest non-closed sets X ⊆ ℝⁿ in the sense of descriptive set-theoretic complexity such that every weak contraction f: X → X is constant. In order to do so, we prove that there exists a non-closed set F ⊆ ℝ such that every weak contraction f: F → F is constant. Similarly, there exists a non-closed set G ⊆ ℝ such that every weak contraction...
A countable group Γ has the Haagerup approximation property if and only if the mixing actions are dense in the space of all actions of Γ.
We study a higher-dimensional version of the standard notion of a gap formed by a finite sequence of ideals of the quotient algebra 𝓟(ω)/fin. We examine different types of such objects found in 𝓟(ω)/fin both from the combinatorial and the descriptive set-theoretic side.