Models in which every nonmeager set is nonmeager in a nowhere dense Cantor set

Let $\ee>0$ and $\fff$ be a family of finite subsets of the Cantor set $\ccc$. Following D. H. Fremlin, we say that $\fff$ is $\ee$-filling over $\ccc$ if $\fff$ is hereditary and for every $F\subseteq\ccc$ finite there exists $G\subseteq F$ such that $G\in\fff$ and $|G|\geq\ee |F|$. We show that if $\fff$ is $\ee$-filling over $\ccc$ and $C$-measurable in $[\ccc]^{<\omega}$, then for every $P\subseteq\ccc$ perfect there exists $Q\subseteq P$ perfect with $[Q]^{<\omega}\subse...

We will show that there is no ZFC example of a set distinguishing between universally null and perfectly meager sets.

For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for atomic doubling measures defined on certain midpoint Cantor sets.

We show that the following are consistent with ZFC: 1. Strongly meager sets form an ideal with the same additivity as the ideal of meager sets. 2. There exists a strong measure zero set of size > d (dominating number).

In 1954 Marstrand proved that if K is a subset of R^2 with Hausdorff dimension greater than 1, then its one-dimensional projection has positive Lebesgue measure for almost-all directions. In this article, we give a combinatorial proof of this theorem when K is the product of regular Cantor sets of class C^{1+a}, a>0, for which the sum of their Hausdorff dimension is greater than 1.

Miklos Laczkovich asked if there exists a Haussdorff (or even normal) space in which every subset is Borel yet it is not meager. The motivation of the last condition is that under MA_kappa every subspace of the reals of cardinality kappa has the property that all subsets are F_sigma, however Martin's axiom also implies that these subsets are meager. Here we answer Laczkovich' question.

Let dec be the least cardinal kappa such that every function of first Baire class can be decomposed into kappa continuous functions. Cichon, Morayne, Pawlikowski and Solecki proved that cov(Meager) <= dec <= d and asked whether these inequalities could, consistently, be strict. By cov(Meager) is meant the least number of closed nowhere dense sets required to cover the real line and by d is denoted the least cardinal of a dominating family in omega^omega. Steprans showed that ...

Let $\mathcal M_X$ denote the ideal of meager subsets of a topological space $X$. We prove that if $X$ is a completely metrizable space without isolated points, then the smallest cardinality of a non-meager subset of $X$, denoted $\mathrm{non}(\mathcal M_X)$, is exactly $\mathrm{non}(\mathcal M_X) = \mathrm{cf}[\kappa]^\omega \cdot \mathrm{non}(\mathcal M_{\mathbb R})$, where $\kappa$ is the minimum weight of a nonempty open subset of $X$. We also characterize the additivity ...

The ternary Cantor set $\mathcal{C}$, constructed by George Cantor in 1883, is the best known example of a perfect nowhere-dense set in the real line. The present article we study the basic properties $\mathcal{C}$ and also study in detail the ternary expansion characterization $\mathcal{C}$. We then consider the Cantor-Lebesgue function defined on $\mathcal{C},$ prove its basic properties and study its continuous extension to $[0,1].$ We also consider the geometric construct...

These notes, associated with a topics course, are largely concerned with Hausdorff measures and a class of metric spaces which behave like Cantor sets.