准波兰空间与第二阶算术中的滤波器空间
逻辑
2026-05-15 v1
摘要
准波兰空间（quasi-Polish spaces） admits several equivalent representations，包括UF空间、NP空间、子集以及数可表述框的 sober 空间。在本文中，我们在第二阶算术中形式化这些结构，对它们之间的转换进行系统性的逆数学分析。
引用
@article{arxiv.2605.15052,
title = {Quasi-Polish spaces and spaces of filters in second-order arithmetic},
author = {Yuzuki Kaneko and Keita Yokoyama},
journal= {arXiv preprint arXiv:2605.15052},
year = {2026}
}