Using determinacy to inscribe compact non-\(\sigma\)-porous sets into non-\(\sigma\)-porous projective sets (Q2371923)

Given a compact metric zero-dimensional space \(X\), the author uses a non-traditional approach to define an abstract porosity on \(X\), called det-porosity, and shows that porous sets in the sense of det-porosity coincide with the porous sets in classical (= Zajiek's) sense. Then, the author defines a two-player game on \(X\) and characterizes the porous sets of \(X\) by means of the existence of winning strategies for one of the two players. The two results enable the author to derive, under the assumption of Projective Determinancy, PD, that every non-\(\sigma\)-porous projective subset of \(X\) contains a non-\(\sigma\)-porous compact subset (cf. Theorem 3.6). As the author points out, his technique and method, developed for classical porosity can be applied to strong porosity (in the sense of [\textit{M. E. Mera} et al., Nonlinearity, 16, 247--255 (2003; Zbl 1026.28001)]). He shows (cf. Theorem 4.5) that every non-\(\sigma\)-strongly porous analytic (and under PD, projective) subset of a compact metric zero-dimensional space contains a non-\(\sigma\)-strongly porous compact subset. This gives a partial answer to a problem of L. Zajiek.