{"id":"arxiv/2605.15052","url":"https://arxiv.org/abs/2605.15052","tags":["math.LO"],"score":0,"title":"Quasi-Polish spaces and spaces of filters in second-order arithmetic","domain":"math.LO","source":"arxiv","authors":["Yuzuki Kaneko","Keita Yokoyama"],"reviews":0,"subject":"math.LO","summary":"The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\\mathbfΠ_2^0$ subspaces of $\\mathcal{P}(\\mathbb{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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}