Absolute null subsets of the plane with bad orthogonal projections (Q1704501)

Let \(\mathcal{M}(\mathbb{R})\) (\(\mathcal{M}(\mathbb{R}^2)\)) denote the completions of all nonzero \(\sigma\)-finite continuous Borel measures on \(\mathbb{R}\) (of \(\mathbb{R}^2)\). A subset \(X\) of the real line \(\mathbb{R}\) is called \textit{absolutely nonmeasurable} (with respect to \(\mathcal{M}(\mathbb{R})\)) if there exists no measure \(\mu\) belonging to \(\mathcal{M}(\mathbb{R})\) such that \(X\in\mathrm{dom}(\mu)\). In the paper under review, the authors (assuming Martin's axiom) proved that there exists an absolute null subset \(T\subset \mathbb{R}^2\), the orthogonal projections of which on all straight lines in \(\mathbb{R}^2\) are absolutely nonmeasurable. A weaker result is presented also with respect to the ZFC set theory.