Key points are not available for this paper at this time.
Using an iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum, is independent from ZFC. We also analyze structures of Hurewicz or consonant subsets of the Cantor cube in the Sacks model.
Haberl et al. (Sat,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: