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.

Certain observations on selection principles related to bornological covers using ideals

Further observations on bornological covering properties and selection principles

Certain Observations on a -Type Selection Principle

More on yet another ideal version of the bounding number

Combinatorics of Borel Ideals

Certain Observations on Tightness and Topological Games in Bornology

Selection games on hyperspaces

Borel complexity of sets of ideal limit points

Some characterizations of ideal variants of Hurewicz type covering properties

Was Ulam right? II: Small width and general ideals

Set Convergences via bornology

Closed ideals of operators on the Baernstein and Schreier spaces

Dominated Ideals and Baire Ideals in Complete Domains

Ideals in quantales, II

Game-theoretic variants of cardinal invariants

On the way to Frölicher bornology

Regular Ideals, Ideal Intersections, and Quotients

The complexity of non-stationary ideals

Ideals in the dual of introverted subspaces of $Ψ$-pseudomeasures

More about the cofinality and the covering of the ideal of strong measure zero sets