{"id":"arxiv/2609.38970","url":"https://arxiv.org/abs/2609.38970","tags":["math.LO","math.CA"],"score":0,"title":"Small additive groups with $A+ξA=\\mathbb R$","domain":"math.LO","source":"arxiv","authors":["Liang Yu"],"reviews":0,"subject":"math.LO","summary":"We prove that, for every irrational $ξ$, any $F_σ$ additive subgroup of $\\R$ has an $F_σ$ $\\Q$-vector space extension of the same Hausdorff dimension satisfying $A+ξA=\\R$. Iteration gives simultaneous surjectivity for any prescribed countable family of irrational multipliers. Such a space exists in every prescribed dimension $d\\in[0,1)$. We also construct in ZFC a zero-dimensional lightface $Δ^0_3$ $\\Q$-vector subspace $A$ for which $A+ξA=\\R$ holds for every irrational $ξ$, answering both parts of Question~2 of Ye, Yu, and Zhao. This universal group is a difference of two $F_σ$ sets, but is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}