当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On expansions of (Z,+,0)
Annals of Pure and Applied Logic ( IF 0.8 ) Pub Date : 2020-03-25 , DOI: 10.1016/j.apal.2020.102809
Quentin Lambotte , Françoise Point

Call a (strictly increasing) sequence (rn) of natural numbers regular if it satisfies the following condition: rn+1/rnθR>1{} and, if θ is algebraic, then (rn) satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of θ. Our main result states that (Z,+,0,R) is superstable whenever R is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. We also show that (Z,+,0,<,R) is NIP whenever R is enumerated by a regular sequence that is ultimately periodic modulo m for all m>1.



中文翻译:

关于(Z,+,0)的展开

调用(严格增加)序列 [Rñ的自然数规律,如果满足以下条件:[Rñ+1个/[Rñθ[R>1个{}并且,如果θ是代数的,则[Rñ满足线性递归关系,其特征多项式为θ的最小多项式。我们的主要结果表明ž+0[R只要R由规则序列枚举,它就是超稳定的。我们给出此结果的两个证明。一个依赖于E. Casanovas和M. Ziegler的结果,另一个依赖于量词消除的结果。我们还表明ž+0<[R是NIP每当- [R是由有规律序列列举了最终周期性模为所有>1个

更新日期:2020-03-25
down
wechat
bug