A module M over a ring R is κ-projective, κ a cardinal, if M is projective relative to all exact sequence of R-modules 0 → A → B → C → 0 such that C has a generating set of cardinality less than κ. A structure theorem for κ-projective modules over Dedekind domains is proven, and the κ-projectivity of M is related to properties of ExtR (M, ⊕ R). Using results of S. Chase, S. Shelah and P. Eklof, the existence of non-projective и1-projective modules is shown to undecidable, while both the Continuum Hypothesis and its denial (Plus Martin's Axiom) imply the existence of a reduced И0-projective Z-module which is not free.