arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2311.13699math.LO
收藏

一个拓扑的 Tennenbaum 定理

A Topological Tennenbaum Theorem

Elliot Glazer

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分析而来,可能存在错误,请以论文正文为准。

↑