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 条

[31] ADDITIVE-FUNCTIONS AT CONSECUTIVE INTEGERS
HILDEBRAND, A
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1987, 35 : 217 - 232
[32] On the characterization of additive functions on Gaussian integers
Kovács, K
[J]. PUBLICATIONES MATHEMATICAE-DEBRECEN, 2001, 58 (1-2): : 73 - 78
[33] THE ADDITIVE PROPERTIES OF INTEGERS OF A CERTAIN CLASS
MIRSKY, L
[J]. DUKE MATHEMATICAL JOURNAL, 1948, 15 (02) : 513 - 533
[34] On an additive property of sequences of nonnegative integers
Gábor Horváth
[J]. Periodica Mathematica Hungarica, 2002, 45 (1-2) : 73 - 80
[35] ON ADDITIVE REPRESENTATIONS OF INTEGERS .2.
SARKOZY, A
[J]. ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1981, 38 (1-4): : 157 - 181
[36] ON ADDITIVE PARTITIONS OF SETS OF POSITIVE INTEGERS
EVANS, RJ
[J]. DISCRETE MATHEMATICS, 1981, 36 (03) : 239 - 245
[37] Block additive functions on the Gaussian integers
Drmota, Michael
Grabner, Peter J.
Liardet, Pierre
[J]. ACTA ARITHMETICA, 2008, 135 (04) : 299 - 332
[38] The representation of integers by binary additive forms
Bennett, MA
Dummigan, NP
Wooley, TD
[J]. COMPOSITIO MATHEMATICA, 1998, 111 (01) : 15 - 33
[39] Decimal extensions of the additive group of integers
Rosales, JC
García-García, JI
[J]. COMMUNICATIONS IN ALGEBRA, 2001, 29 (02) : 789 - 798
[40] A special sequence of algebraic integers
Nijenhuis, A
[J]. AMERICAN MATHEMATICAL MONTHLY, 1997, 104 (02): : 171 - 172

← 1 2 3 4 5 →