Descriptive properties related to porosity and density for compact sets on the real line (Q2460666)

Given a subset \(E\) of \(\mathbb R\) and an interval \((a,b)\) let \(\lambda^+(a,b,E)\) denote the maximum length of a subinterval of~\((a,b)\) that is disjoint from~\(E\). The right-hand porosity of \(E\) at~\(x\) is \(p^+(x,E)=\lim_{R\downarrow 0}{1\over R}\lambda^+(x,x+R,E)\) (if it exists); likewise one can define porosity from the left and two-sided porosity. The author establishes the descriptive complexity of families of various kinds of compact porous sets --- as subspaces of the hyperspace of compact subsets of~\(\mathbb R\). For example \(\{K:p^+(0,K)=r\}\) is \(\Pi^0_3\)-complete if \(r<1\) and \(\Pi^0_2\)-complete if \(r=1\). The set of nowhere two-sided porous sets is \(\Pi_1^1\)-complete (\(K\)~is nowhere two-sided porous if \(\min\bigl\{p^+(x,K),p^-(x,K)\bigr\}=0\) for all~\(x\)).