2020/10/17 by Pol, Roman, Zakrzewski, Piotr · 1 citation
#03E15 #03E20 #54E52 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
paper · doi:10.48550/arxiv.2010.08812
We study a strengthening of the notion of a perfectly meager set. We say that that a subset A of a perfect Polish space X is countably perfectly meager in X, if for every sequence of perfect subsets \Pn: n ∈ \mathbb N\ of X, there exists an Fσ-set F in X such that A ⊆ F and F∩ Pn is meager in Pn for each n. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński.