The sets you refer to as "ultranegligible" are known as the strong measure zero sets, and the assertion that every strong measure zero set is countable is known as the Borel conjecture, and is independent of ZFC.

If the continuum hypothesis holds (also if Martin's axiom holds), then there are uncountable strong measure zero sets, and so it is consistent with ZFC that the Borel conjecture fails. Meanwhile, Richard Laver proved the relative consistency of the Borel conjecture. And so it is independent of ZFC.

It happens that Kameryn Williams just gave a talk on this topic last Friday at the CUNY set theory seminar.

The sets you refer to as "ultranegligible" are known as the strong measure zero sets, and the assertion that every strong measure zero set is countable is known as the Borel conjecture, and is independent of ZFC.

If the continuum hypothesis holds (also if Martin's axiom holds), then there are uncountable strong measure zero sets, and so it is consistent with ZFC that the Borel conjecture fails. Meanwhile, Richard Laver proved the relative consistency of the Borel conjecture. And so it is independent of ZFC.

It happens that Kameryn Williams just gave a talk on this topic last Friday at the CUNY set theory seminar.

The sets you refer to as "ultranegligible" are known as the strong measure zero sets, and the assertion that every strong measure zero set is countable is know as the Borel conjecture, and is independent of ZFC.

If the continuum hypothesis holds (also if Martin's axiom holds), then there are uncountable strong measure zero sets, and so it is consistent with ZFC that the Borel conjecture fails. Meanwhile, Richard Laver proved the relative consistency of the Borel conjecture. And so it is independent of ZFC.

The sets you refer to as "ultranegligible" are known as the strong measure zero sets, and the assertion that every strong measure zero set is countable is known as the Borel conjecture, and is independent of ZFC.

If the continuum hypothesis holds (also if Martin's axiom holds), then there are uncountable strong measure zero sets, and so it is consistent with ZFC that the Borel conjecture fails. Meanwhile, Richard Laver proved the relative consistency of the Borel conjecture. And so it is independent of ZFC.

It happens that Kameryn Williams just gave a talk on this topic last Friday at the CUNY set theory seminar.