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
关键词
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 条