文件大小：497 kB 16页
非光滑空间上的描述性复杂性
作者
-
部分： 音量： 第37届计算机科学理论方面国际研讨会（STACS 2020）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学理论专题讨论会 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2020-03-04
文件
文件标识符
致谢
引用为 获取BibTex
摘要
主题分类
ACM学科分类
计算理论→图灵机 计算数学→点集拓扑
关键词
代表性空间 可计算分析 描述性集合论 CoPolish空间
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
瓦斯科·布拉特卡。 函数的有效Borel可测性和可约性。 《数理逻辑季刊》，51（1）：19-442005。 网址： https://doi.org/10.1002/malq.200310125 . -
马修·德·布莱希特。 准抛光空间。 Ann.纯粹应用。 逻辑，164（3）：356-3812013。 网址： https://doi.org/10.1016/j.apal.2012.11.001 . -
马修·德布莱希特（Matthew de Brecht）、阿诺·保利（Arno Pauly）和马蒂亚斯·施罗德（Matthias Schröder）。 公开选择。 CoRR，abs/1902.059262019年。 网址： http://arxiv.org/abs/1902.05926 . -
马修·德布莱希特（Matthew de Brecht）、马蒂亚斯·施罗德（Matthias Schröder）和维克托·塞利瓦诺夫（Victor Selivanov）。 qcb₀-空间的基复杂性分类。 可计算性，5（1）：75-1022016。 网址： https://doi.org/10.3233/COM-150044 . -
马修·霍洛普。 描述集理论在一些表示空间上的结果。 预印本，2017年。 网址： http://arxiv.org/abs/1712.03680 . -
马修·霍洛普（Mathieu Hoyrup）、克里斯托巴尔·罗哈斯（Cristobal Rojas）、维克托·塞利瓦诺夫（Victor L.Selivanov）和唐纳德·斯图尔（Donald M.Stull）。 拟光滑空间上的可计算性。 Michal Hospodarár、Galina Jirásková和Stavros Konstantinidis，编辑，《形式系统的描述复杂性-第21届IFIP WG 1.02国际会议》，2019年7月17日至19日，斯洛伐克科希策，2019，会议录，计算机科学讲稿第11612卷，第171-183页。 斯普林格，2019年。 网址： https://doi.org/10.1007/978-3-030-23247-4_13 . -
亚历山大·凯克里斯（Alexander S.Kechris），经典描述性集合理论。 斯普林格，1995年1月。 
-
达格·诺曼。 第八章连续泛函。 Edward R.Griffor，编辑，《可计算性理论手册》，逻辑和数学基础研究第140卷，第251-275页。 爱思唯尔，1999年。 网址： https://doi.org/10.1016/S0049-237X （99）80024-X . -
阿诺·保利。 关于表示空间理论的拓扑方面。 可计算性，5（2）：159-1802015。 网址： https://doi.org/10.3233/COM-150049 . -
阿诺·保利和马修·德·布莱希特。 表示空间范畴中的描述性集合理论。 2015年7月6日至10日，在日本京都举行的第30届ACM/IEEE计算机科学逻辑年会上，第438-449页。 IEEE计算机学会，2015年。 网址： https://doi.org/10.109/LICS.2015.48 . -
让·圣雷蒙德（Jean Saint Raymond）。 可数紧覆盖映射下Borel类的保持性。 拓扑及其应用，154（8）：1714-17252007。 网址： https://doi.org/10.1016/j.topol.2007.01.006 . -
马蒂亚斯·施罗德。 重新审视允许类型2复杂性理论的空间。 数学。 日志。 问，50（4-5）：443-4592004。 网址： https://doi.org/10.1002/malq.200310111 . -
维克托·塞利瓦诺夫。 φ-空间中的差分层次。 代数与逻辑，43（4）：238-2482004年7月。 网址： https://doi.org/10.1023/B:ALLO.0000035115.44324.5d . -
维克托·塞利瓦诺夫。 总陈述。 《计算机科学中的逻辑方法》，9（2），2013年。 网址： https://doi.org/10.2168/LMCS-9 (2:5)2013 . -
维克托·塞利瓦诺夫。 可计算拟Polish空间中的有效Wadge层次结构。 2019年预印本。 网址： http://arxiv.org/abs/1910.13220 . -
罗伯特·沃特。 拓扑和逻辑中的不变集。 数学基础，82（3）：269-2941974。 网址： http://eudml.org/doc/214667 . -
克劳斯·威劳赫。 可计算分析。 施普林格，柏林，2000年。