Switch to: References

Add citations

You must login to add citations.
  1. On expansions of.Quentin Lambotte & Françoise Point - 2020 - Annals of Pure and Applied Logic 171 (8):102809.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The additive structure of integers with the lower Wythoff sequence.Mohsen Khani & Afshin Zarei - 2023 - Archive for Mathematical Logic 62 (1):225-237.
    We have provided a model-theoretic proof for the decidability of the additive structure of integers together with the function f mapping x to $$\lfloor \varphi x\rfloor $$ where $$\varphi $$ is the golden ratio.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark