The additive structure of integers with the lower Wythoff sequence

被引：2
|
作者：
Khani, Mohsen [1 ]
Zarei, Afshin [1 ]
机构：
[1] Isfahan Univ Technol, Dept Math Sci, Esfahan 8415683111, Iran
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2023年 / 62卷 / 1-2期
关键词：
Decidability; Quantifier elimination; Wythoff sequence;
D O I：
10.1007/s00153-022-00846-2
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We have provided a model-theoretic proof for the decidability of the additive structure of integers together with the function f mapping x to left perpendicular phi x right perpendicular where phi is the golden ratio.
引用
收藏
页码：225 / 237
页数：13
相关论文
共 50 条
  • [1] The additive structure of integers with the lower Wythoff sequence
    Mohsen Khani
    Afshin Zarei
    [J]. Archive for Mathematical Logic, 2023, 62 : 225 - 237
  • [2] On the structure of additive systems of integers
    Huxley, M. N.
    Lettington, M. C.
    Schmidt, K. M.
    [J]. PERIODICA MATHEMATICA HUNGARICA, 2019, 78 (02) : 178 - 199
  • [3] On the structure of additive systems of integers
    M. N. Huxley
    M. C. Lettington
    K. M. Schmidt
    [J]. Periodica Mathematica Hungarica, 2019, 78 : 178 - 199
  • [4] Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
    Khani, Mohsen
    Valizadeh, Ali N.
    Zarei, Afshin
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (10)
  • [5] Additive structure of totally positive quadratic integers
    Tomáš Hejda
    Vítězslav Kala
    [J]. manuscripta mathematica, 2020, 163 : 263 - 278
  • [6] Additive structure of totally positive quadratic integers
    Hejda, Tomas
    Kala, Vitezslav
    [J]. MANUSCRIPTA MATHEMATICA, 2020, 163 (1-2) : 263 - 278
  • [7] Wythoff's sequence and N-Heap Wythoff's conjectures
    Sun, XY
    [J]. DISCRETE MATHEMATICS, 2005, 300 (1-3) : 180 - 195
  • [8] On the additive group structure of the nonstandard models of the theory of integers
    Dalgin, H
    Haddad, L
    Terziler, M
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (03) : 403 - 412
  • [9] Additive representations of integers
    Agoh, T
    [J]. MANUSCRIPTA MATHEMATICA, 1998, 95 (03) : 311 - 321
  • [10] ADDITIVE PARTITIONS OF INTEGERS
    ALLADI, K
    ERDOS, P
    HOGGATT, VE
    [J]. DISCRETE MATHEMATICS, 1978, 22 (03) : 201 - 211
12345