一个拓扑的 Tennenbaum 定理
A Topological Tennenbaum Theorem
AI总结:
本文证明了在不可数波兰空间上的算术Borel模型中加法和乘法均不连续,作为算术拓扑模型的Tennenbaum定理的类比,回答了Enayat等人的问题。
摘要:
我们证明,在不可数波兰空间上的算术 Borel 模型中,加法和乘法均不连续。这是算术拓扑模型的 Tennenbaum 定理的类比。这回答了 Enayat、Hamkins 和 Wcisło 的问题。
英文摘要:
We prove that in Borel models of arithmetic on an uncountable Polish space, neither addition nor multiplication is continuous. This is an analogue of Tennenbaum's Theorem for topological models of arithmetic. This answers a question of Enayat, Hamkins, and Wcisło.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。