谷歌浏览器插件
订阅小程序
在清言上使用

Expanding the reals by continuous functions adds no computational power

The Journal of Symbolic Logic(2022)

引用 0|浏览7
暂无评分
摘要
Abstract We study the relative computational power of structures related to the ordered field of reals, specifically using the notion of generic Muchnik reducibility. We show that any expansion of the reals by a continuous function has no more computing power than the reals, answering a question of Igusa, Knight, and Schweber [7]. On the other hand, we show that there is a certain Borel expansion of the reals that is strictly more powerful than the reals and such that any Borel quotient of the reals reduces to it.
更多
查看译文
关键词
continuous functions,reals,power
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要