{"id":"arxiv/2608.26904","url":"https://arxiv.org/abs/2608.26904","tags":["math.LO"],"score":0,"title":"Hyperarithmetic directions can all be exceptional for Marstrand's projection theorem","domain":"math.LO","source":"arxiv","authors":["Noam Greenberg","Daniel Turetsky"],"reviews":0,"subject":"math.LO","summary":"We show that there is a $Π^0_2$ subset $B$ of the Euclidean plane, of Hausdorff dimension 1, such that for every line $\\ell$ through the origin with hyperarithmetic direction, the projection of $B$ onto $\\ell$ has Hausdorff dimension 0, thus is exceptional for Marstrand's projection theorem. It follows that for any computable ordinal $α$, being $α$-random does not guarantee the ``almost-all'' statement of the projection theorem.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}