On the complexity of some sigma-ideals of sigma-P-porous sets

Abstract

We prove (for some types of porosity) that the system of all sigma-porous compact subsets of a separable locally compact metric space is a coanalytic and non-Borel subset of the hyperspace of all compact sets.