Quasi-Polish spaces and spaces of filters in second-order arithmetic
Abstract
The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, Π20 subspaces of P(N), and sober spaces of countably presented frames. In this paper, we formalize these structures within second-order arithmetic and conduct a systematic reverse mathematical analysis of the transitions between them.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.