Abstract:Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to $\eta$ such that the set of indexes $\{k_n: n \in \omega\}\notin \mathcal{I}$. Denote by $\mathscr{L}(\mathcal{I})$ the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$ or $S$ is empty. In this paper, we study the relationships between the topological complexity of ideals $\mathcal{I}$, their combinatorial properties, and the families of sets $\mathscr{L}(\mathcal{I})$ which can be attained. On the positive side, we provide several purely combinatorial (not dependind on the space $X$) characterizations of ideals $\mathcal{I}$ for the inclusions and the equalities between $\mathscr{L}(\mathcal{I})$ and the Borel classes $\Pi^0_1$, $\Sigma^0_2$, and $\Pi^0_3$. As a consequence, we prove that if $\mathcal{I}$ is a $\Pi^0_4$ ideal then exactly one of the following cases holds: $\mathscr{L}(\mathcal{I})=\Pi^0_1$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^1_1$ (however we do not have an example of a $\Pi^0_4$ ideal with $\mathscr{L}(\mathcal{I})=\Sigma^1_1$). In addition, we provide an explicit example of a coanalytic ideal $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})=\Sigma^1_1$. On the negative side, we show that there are no ideals $\mathcal{I}$ such that $\mathscr{L}(\mathcal{I})=\Pi^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_3$. We conclude with several open questions.

Ideal convergent subsequences and rearrangements for divergent sequences of functions

Ideal convergent subseries in Banach spaces

The ideal test for the divergence of a series

Remarks on convergence of sequences of measurable functions

Banach spaces of $\mathcal I$-convergent sequences

Sequential convergence on the space of Borel measures

Application of fusion technique to the solution of Harrington problem and its generalizations to Baire functions, part I

A generalized notion of convergence of sequences of subspaces in an inner product space via ideals

Lebesgue measure zero modulo ideals on the natural numbers

On the coexistence of convergence and divergence phenomena for integral averages and an application to the Fourier–Haar series

Borel complexity of sets of ideal limit points

Souslin's Hypothesis and Convergence in Category

Generalized Fejér monotone sequences and their finitary content

Convergence Analysis of a Method for Variational Inclusions

On algebraic sums, trees and ideals in the Baire space

Topological complexity of ideal limit points

How large is the space of almost convergent sequences?

Rearrangements, arrangements of signs, and convergence of sequences of operators

An approximation form of the Kuratowski Extension Theorem for Baire-alpha functions

I-convergence of sequences in metric-like spaces