×
马修·德·布莱希特;马蒂亚斯·施罗德;维克托·塞利瓦诺夫

\（\mathrm的基本复杂性分类{qcb}0\)-空格。 （英语） Zbl 1403.03129号

可计算性 5，第1期，75-102（2016）.
摘要：我们定义并研究了\（\mathrm的新分类{qcb}0\)-基于测量其基复杂性的思想的空间。新的分类补充了最近引入的\（\mathrm）层次结构所给出的分类{qcb}0\)-空间并提供了新的工具来研究基于非可数的\（qcb0\）-空间。作为副产品，我们表明不存在通用的{qcb}0\)-并建立了可数型Kleene-Kreisel连续泛函的几个新性质。

引用于6文件

MSC公司：

03层60 构造性和递归分析
03E15年 描述性集合论
54B20型 一般拓扑中的超空间

关键词：

\（\mathrm{qcb}0\)-空格;基于Y的空间;超空间;Scott拓扑;超投影层次;Kleene-Kreisel连续泛函
PDF格式BibTeX公司 XML格式引用
\textit{M.De Brecht}等人，《可计算性5》，第1期，第75-102页（2016年；Zbl 1403.03129）
全文： 内政部

参考文献：

[1] Bouziad，分析空间中的辅音和拓扑完备性，Proc。阿默尔。数学。Soc.127第3733页–（1999）·Zbl 0976.54036号 ·doi:10.1090/S0002-993939-99-04902-3
[2] 布拉特卡，实数表示的拓扑性质，理论计算机科学284页241–（2002）·Zbl 1039.03036号 ·doi:10.1016/S0304-3975（01）00066-4
[3] Constantini，关于一些可度量空间的不调和，拓扑及其应用84 pp 259–（1998）·Zbl 0966.54005号 ·doi:10.1016/S0166-8641（97）00096-5
[4] 德布莱希特，《准波兰空间》，《纯粹与应用逻辑年鉴》164，第356页–（2013）·Zbl 1270.03086号 ·doi:10.1016/j.apal.2012.11.001
[5] Dolecki，上Kuratowski拓扑（同胚，Scott拓扑）和共紧拓扑何时重合？，事务处理。阿默尔。数学。Soc.347第2869页–（1995年）·Zbl 0845.54005号 ·doi:10.1090/S0002-9947-1995-1303118-7
[6] Escardó，比较核心紧生成空间的笛卡尔闭范畴，拓扑及其应用143 pp 105–（2004）·Zbl 1066.54028号 ·doi:10.1016/j.topol.2004.02.011
[7] Gruenhage，基于可数空间的商在清醒状态下不闭，《计算机科学中的数学结构》16（2），第223–（2006）页·邮编1099.06005 ·doi:10.1017/S09601290506005184
[8] Kreitz，表征理论，理论计算机科学38页35–（1985）·Zbl 0588.03031号 ·doi:10.1016/0304-3975（85）90208-7
[9] Michael，无理数空间的商，《太平洋数学杂志》28（3）第629页–（1969）·Zbl 0172.24704号 ·doi:10.2140/pjm.1969.28.629
[10] Nogura，闭集超空间上的Fell拓扑何时与上Kuratowski拓扑和下Vietoris拓扑重合？，拓扑及其应用70 pp 213–（1996）·Zbl 0848.54007号 ·doi:10.1016/0166-8641（95）00098-4
[11] Schröder，扩展可容许性，《理论计算机科学》284 pp 519–（2002）·兹比尔1042.68050 ·doi:10.1016/S0304-3975（01）00109-8
[12] Schröder，《重新审视允许类型2复杂性理论的空间》，数学。日志。夸脱。50（4,5）第443页–（2004）·Zbl 1058.03069号 ·doi:10.1002/malq.200310111
[13] Schröder，qcb0-空间的超投影层次，可计算性杂志4（1）第1页–（2015）
[14] Schröder，序列空间可数乘积的两个保存结果，计算机科学中的数学结构17（1），第161页–（2007）·Zbl 1117.54038号 ·doi:10.1017/S0960129506005895
[15] Selivanov，走向类域结构的描述性集合理论，理论计算机科学365第258页-（2006）·Zbl 1108.03050号 ·doi:10.1016/j.tcs.2006.07.053
[16] Selivanov，《计算机科学中的总体表示、逻辑方法》9（2），第1页–（2013）·Zbl 1285.03064号 ·doi:10.2168/LMCS-9（2:5）2013年
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。