A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category

Apoloniusz Tyszka

Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not\in M} is the smallest cardinality of a family S \subseteq {0,1}^ωwith the pro…