The exact Borel class where a density completeness axiom holds (Q1189088)

A collection \(\mathbb{A}\) of subsets of \(\mathbb{R}\) \((\mathbb{R}\) --- the real line) is said to have the O'Malley density property if whenever a non-empty bounded set \(A\in\mathbb{A}\) has right (left) density 1 at each of its points, then there is a point in the complement of \(A\) at which \(A\) has left (right) density 1. It is known that \(F_ \sigma\) subsets of \(\mathbb{R}\) have the O'Malley density property [\textit{R. J. O'Malley}, Trans. Am. Math. Soc. 199, 75-87 (1974; Zbl 0292.26008)]. The main result of the paper asserts that \(G_{\delta\sigma}\) sets of \(\mathbb{R}\) have the O'Malley density property. An ingenious construction of an example shows that this property does not hold for the \(F_{\sigma\delta}\) sets.