发动机 Schloss Dagstuhl–莱布尼茨信息中心 莱布尼茨国际信息学会议录 1868-8969 2020-03-04 8:1 8:16 10.4230/LIPIcs公司。STACS.2020.8标准 文章 安东尼·卡勒德 1 马修·霍洛普 1 洛林大学，CNRS，Inria，LORIA，F-54000 Nancy，France 表示空间是可以进行计算的空间。我们研究了表示空间中集合的描述性复杂性。我们证明了基于可数空间的标准表示保持了集合的有效描述复杂性。我们证明了描述集理论关于Polish空间的一些结果推广到了任意可数空间。我们研究了更大类的coPolish空间，表明它们的表示并不总是保持集合的复杂性，并且我们将这种不匹配与空间的顺序方面联系起来。我们特别研究多项式空间。 https://drops.dagstuhl.de/storage/00lipics/lipics-vol154-stacs2020/lipics.STACS.2020.8/lipics-STACS.2028.pdf 代表性空间 可计算分析 描述性集合论 CoPolish空间