On Hindman spaces and the Bolzano-Weierstrass property (Q392829)

Let \(X\) be a topological space, \(\mathcal{I}\) an ideal on the set of natural numbers \(\omega\) and \(A\subset\omega\). A sequence \((x_n)_{n\in A}\) in \(X\) is \(\mathcal{I}\)-convergent to \(x\) if \(\{n\in A:x_n\notin U\}\in\mathcal{I}\) for every open neighborhood \(U\) of \(x\). A pair \((X,\mathcal{I})\) has the Bolzano-Weierstrass property (or the BW property) if every sequence \((x_n)\) in \(X\) has an \(\mathcal{I}\)-convergent subsequence \((x_n)_{n\in A}\) with \(A\in\mathcal{I}\). The author shows that, for every uncountable compact metric space \(X\), the pair \((X,\mathcal{H})\) has the BW property, where \(\mathcal{H}\) is the Hindman ideal. The BW property is compared to the Hindman property of topological spaces introduced by \textit{M. Kojman} [Proc. Am. Math. Soc. 130, No. 6, 1597--1602 (2002; Zbl 0985.54032)]. Namely, if \(X\) is a Hindman space, then \((X,\mathcal{H})\) has the BW property. On the other hand, the author shows that there is a Mrówka-type space which is not Hindman but \((X,\mathcal{H})\) possesses the BW property. Finally, the notion of \(R\)-spaces is introduced and it is shown that every Hindman space is an \(R\)-space. It is not known if these two notions coincide.