Using determinacy to inscribe compact non-σ-porous sets into non-σ-porous projective sets.

Abstract

Under the assumption of projective determinacy, we show that one can obtain non-$\sigma$-porous compact subsets for given projective non-$\sigma$-porous sets, with respect to the regular and strong porosities for dimension zero compact metric spaces.