Weakly infinite dimensional subsets of \(\mathbb R^{\mathbb N}\) (Q972526)

A subset of a metric space is called countable-dimensional if it is a union of countably many zero-dimensional subsets of the space. A subset of \(\mathbb R^{\omega}\) is called a Hurewicz set if it is uncountable and has a countable intersection with every countable-dimensional subset of \(\mathbb R^{\omega}\). It is shown that under CH, the ideal of countable-dimensional subsets of \(\mathbb R^{\omega}\) and the ideal of meager subsets of \(\mathbb R^{\omega}\) are dual in the sense of Sierpiński and Erdős. However, central to the entire paper is the following conjecture (to be considered with CH): If \(H\subset\mathbb R^{\omega}\) is a Hurewicz set, then for each (strongly) countable-dimensional set \(C\subset\mathbb R^{\omega}, H+C\neq\mathbb R^{\omega}\). The conjecture is settled affirmatively if \(C\) is compactly countable-dimensional. A very sophisticated example (based on Elżbieta and Roman Pol's example and combinatorics of open covers along with selection principles) is constructed showing that the conjecture may fail if \(C\) is weakly infinite-dimensional.