Paper detail

Decomposing the real line into Borel sets closed under addition

We consider decompositions of the real line into pairwise disjoint Borel pieces so that each piece is closed under addition. How many pieces can there be? We prove among others that the number of pieces is either at most 3 or uncountable, and we show that it is undecidable in $ZFC$ and even in the theory $ZFC + \mathfrak{c} = ω_2$ if the number of pieces can be uncountable but less than the continuum. We also investigate various versions: what happens if we drop the Borelness requirement, if we replace addition by multiplication, if the pieces are subgroups, if we partition $(0,\infty)$, and so on.