@misc{indiciaee369c781f240,
  title = {Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence},
  author = {Mohsen Khani and Ali N. Valizadeh and Afshin Zarei},
  year = {2025},
  url = {https://arxiv.org/abs/2508.02303},
  note = {Source identifier: 2508.02303}
}