We shall discuss which cardinalities sets of reals satisfying Menger and Hurewicz covering properties may have in some standard models of ZFC. Most of the results may be thought of as consistent instances of the Perfect Set Property, since they state that in some models, a set of reals satisfying certain covering properties either contains a copy of the Cantor set, or has small size. In particular, we plan to outline the proof of the fact that in the Sacks model every Menger totally imperfect set of reals has size at most \(\omega_1\).
This is a joint work with V. Haberl and P. Szewczak.