Complexity profiles and generic Muchnik reducibility
ADVANCES IN MATHEMATICS(2024)
摘要
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
正在生成论文摘要