A Coanalytic Menger Group That Is Not Sigma-Compact

Abstract

Under V = L we construct coanalytic topological subgroups of reals, demonstrating that even for definable groups of reals, selection principles may differ.