The Borel complexity of ideal limit points (Q2131796)

Given an ideal \(\mathcal{I}\) on \(\omega\) and a sequence \(x=(x_n)\) taking values in a topological space \(X\), denote by \(\Lambda_x(\mathcal{I})\) the set of its \(\mathcal{I}\)-limits points, that is, the set of all \(\eta \in X\) such that \(\lim_{k \in A}x_k=\eta\) for some \(A\subseteq \omega\) such that \(A\notin \mathcal{I}\). Continuing the line of research by the reviewer and Balcerzak in [\textit{M.~Balcerzak} and \textit{P.~Leonetti}, Topology Appl. 252, 178--190 (2019; Zbl 1426.40003)], the main results of the authors follow below: \begin{itemize} \item[1.] (Theorem 2.2) If \(X\) is first countable Hausdorff and \(x\) is given, for each subset \(S\) of the ordinary limit points of \(x\) there exists an ideal \(\mathcal{I}_S\) for which \(\Lambda_x(\mathcal{I}_S)=S\). \item[2.] (Theorem 2.7) If \(S\neq \emptyset\), the ideal \(\mathcal{I}_S\) can be chosen tall. \item[3.] (Theorem 2.8) If \(\mathcal{I}\) is an ideal such that \(\Lambda_x(\mathcal{I})=S\), then \(\mathcal{I}_S\subseteq \mathcal{I}\). \item[4.] (Theorem 3.4) If \(X=\mathbb{R}\), then every \(\mathcal{I}\)-cluster point is always an \(\mathcal{I}\)-limit point iff \(\mathcal{I}\) is a P\(^+\)-ideal. \item[5.] (Theorem 4.5) If \(X\) is first countable and \(\mathcal{I}\) is a Farah ideal, then \(\Lambda_x(\mathcal{I})\) is \(F_\sigma\). \end{itemize} Proposition 2.4 is incorrect, a known counterexample is the equidistributed sequence of fractional parts \((\{n\sqrt{2}\}: n\in \omega)\).