马修·德·布莱希特;阿诺·保利;马蒂亚斯·施罗德 公开选择。 (英语) Zbl 1485.03152号 可计算性 9,第3-4号,169-191(2020). 摘要:我们介绍并研究公开选择用于可计数空间和CoPolish空间。显式选择是在由开放集与之相交的闭集中产生一个点的任务。我们证明了显式选择在给定空间中是否连续的问题与拓扑完备性概念有关,如Choquet-property;以及迈克尔选择定理的变体是否适用于该空间。对于公开选择不连续的空间,探索由此产生的Weihrauch度是很有趣的,这反过来又与空间是否是Fréchet-Urysohn有关。 引用于12文件 MSC公司: 03D28号 其他图灵度结构 03日30分 可计算性和递归理论中的其他度和可约性 03层60 构造性和递归分析 关键词:Weihrauch可还原性;可计算拓扑;拟光滑空间 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht}等人,可计算性9,No.3--4,169--191(2020;Zbl 1485.03152) 全文: DOI程序 arXiv公司