Quasi-Polish spaces and spaces of filters in second-order arithmetic
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.15052
curl -X POST /api/v1/records/arxiv/2605.15052/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.15052/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'