Constructions of some non-\(\sigma\)-porous sets on the real line (Q1068971)

It is well known that the \(\sigma\)-ideal A of sets which are of measure zero and of the first category has the properties: (i) if a Borel set S does not belong to A, the \(S+S\) contains an interval, (ii) each disjoint family of Borel sets not belonging to A is countable. In this paper there is given a general method of construction of perfect non-\(\sigma\)-porous sets and is shown that the \(\sigma\)-ideal of \(\sigma\)-porous sets has neither of the properties (i) or (ii) even for perfect sets. Special enveloping property of \(\sigma\)-porous sets is given.