On direct sum decomposition of integers and Y. Ito's conjecture (Q1281862)

Es werden die Mengen \[ A:= \Bigl\{ \sum_i \varepsilon_i 2^{2i+1};\;\varepsilon_i\in \{0,1\} \text{ und }\varepsilon _i=1\text{ für endlich viele }i\Bigr\} \] definiert mit \(\omega= (\omega_0, \omega_1,\dots)\in \{-1,1\}^{\mathbb{N}}\), wobei \(\omega_i=-1\) an unendlich vielen Stellen ist, \[ B_\omega:= \Bigl\{ \sum_i \varepsilon_i \omega_i 2^{2i};\;\varepsilon_i\in \{0,1\}\text{ und }\varepsilon_i=1\text{ für endlich viele }i\Bigr\}. \] Weiter ist \[ {\mathfrak C}(A):= \{C\subset \mathbb{Z}:\;0\in C\text{ und }A\oplus C= \mathbb{Z}\}, \] wobei \(A\oplus C=\mathbb{Z}\) besagt, daß jedes Element in \(\mathbb{Z}\) eindeutig als Summe von Elementen aus \(A\) und \(C\) darstellbar ist. Durch die Ergebnisse dieser Arbeit werden Resultate von \textit{Y. Ito} [Tokyo J. Math. 18, 259-270 (1995; Zbl 0872.11008)] verallgemeinert.