广岛，凯塔;川村，秋田 基本可追踪的无理数。 （英语） Zbl 07787576号 Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13967、135-140页（2023年）。 摘要：调用一个函数初级的如果它可以在以等高线为界的时间内计算。A类跟踪函数因为无理数是一个函数，它将每个有理数（r）映射到一个比（r）更接近于（alpha）的有理数。正如克里斯蒂安森推测的那样，我们证明了存在一个无理数，它具有基本的迹函数，但它的连分式展开不是基本的。我们还证明了存在一个无理数，该无理数具有基本的迹函数，但其和近似即，将每个正整数映射到数字二进制展开式中第1个的索引的函数不是初等的。关于整个系列，请参见[Zbl 1528.68022号]. MSC公司： 03B70号 计算机科学中的逻辑 68季度xx 计算理论 关键词：可计算分析;基本功能;无理数的表示;跟踪函数;连分数;和近似值 PDF格式BibTeX公司 XML格式引用 \textit{K.广岛}和\textit{A.河村}，莱克托。注释计算。科学。13967、135——140（2023；Zbl 07787576） 全文： 内政部 参考文献： [1] Khinchin，AY，Continued Fractions（1964），芝加哥：芝加哥大学出版社，芝加哥·Zbl 0117.28601号 [2] Kristiansen，L.，关于无理数的次递归表示，可计算性，6，3，249-276（2017）·Zbl 1423.03156号 ·doi:10.333/COM-160063 [3] Kristiansen，L.，关于无理数的次递归表示，第二部分，可计算性，8，1，43-65（2019）·Zbl 1450.03008号 ·doi:10.3233/COM-170081 [4] 梅耶，AR；里奇，DM，递归函数的分类，数学。《逻辑季刊》，18，4-6，71-82（1972）·Zbl 0247.02037号 ·doi:10.1002/malq.19720180405 [5] Odifreddi，PG，经典递归理论（1999），阿姆斯特丹：爱思唯尔出版社·Zbl 0931.03057号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。