Ideal Analytic sets

Łukasz Mazurkiewicz, Szymon Żeberski

The aim of this paper is to give natural examples of ${\mathbf{\Sigma }}_1^1$-complete and ${\mathbf{\Pi }}_1^1$-complete sets. In the first part, we consider ideals on $\omega$. In particular, we show…