Quasi-Polish spaces and spaces of filters in second-order arithmetic

Yuzuki Kaneko, Keita Yokoyama

The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, ${\mathbf{\Pi }}_2^0$ subspaces of $\mathcal{P}(\mathbb{N})$, and sober spaces…