整数群由 Beatty 序列的扩张
逻辑
2021-04-21 v2 组合数学
摘要
我们研究模型论结构 ，其中 为无理数，且 的元素形如 （）。我们对该结构进行公理化并证明一个量词消去结果。作为推论，我们得到可定义子集除非有限否则不稀疏。我们还证明该结构没有扩张 的约化。
引用
@article{arxiv.2010.10441,
title = {Expansions of the Group of Integers by Beatty Sequences},
author = {Ayhan Günaydın and Melissa Özsahakyan},
journal= {arXiv preprint arXiv:2010.10441},
year = {2021}
}