arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0903.1384math.LO
收藏

实数的低函数

Low functions of reals

Katrin Tent, Martin Ziegler

摘要:

在$\R^N$上引入了可计算函数的概念,并证明了一些基本性质.我们给出了两个应用,首先是吉永定理的一个简短证明,即周期是\el(它们实际上很低)。我们还证明了低复数在幂函数和其他特殊函数下形成一个代数闭域。

英文摘要:

We introduce a new notion of computable function on $\R^N$ and prove some basic properties. We give two applications, first a short proof of Yoshinaga's theorem that periods are \el (they are actually low). We also show that the low complex numbers form a algebraically closed field closed under exponentiation and some other special functions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑