Complexity profiles and generic Muchnik reducibility

ADVANCES IN MATHEMATICS(2024)

引用 0|浏览1
暂无评分
摘要
We study the relative computational complexity of expansions of Cantor and Baire space in terms of generic Muchnik reducibility. We show that no expansion of Cantor space by countably many unary or closed relations can give a generic Muchnik degree strictly between the degree of Cantor space and the degree of Baire space. Similarly, assuming Delta 12-Wadge determinacy we show that no expansion of Baire space by countably many unary or closed relations can give a generic Muchnik degree strictly between the degree of Baire space and the Borel complete degree. On the other hand, we provide a construction of a degree strictly between the degree of Cantor space and the degree of Baire space and also between the degree of Baire space and the Borel complete degree. (c) 2023 Elsevier Inc. All rights reserved.
更多
查看译文
关键词
Generic Muchnik reducibility,Uncountable structures,Complexity profiles,Wadge determinacy
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要