§1. The basic definitions and the main theorem. 1. Definition. (1) We define addition on 2 as addition modulo 2 on each component, i.e., if x, y, z ∈ 2 and x+ y = z then for every n we have z(n) = x(n) + y(n) (mod 2). (2) For A,B ⊆ 2 and x ∈ 2 we set x + A = {x + y : y ∈ A}, and we define A + B similarly. (3) We denote the Lebesgue measure on 2 with μ. We say that X ⊆ 2 is null-additive if for ...

A subset of the Cantor cube is null-additive if its algebraic sum with any null set null. We construct a cardinality continuum such that: all continuous images into are null-additive, it contains homeomorphic copy that not and has property $\gamma$, strong combinatorial covering property. also nontrivial $\gamma$ additive. Set-theoretic assumptions used in our constructions far milder than earl...