TY  - RPRT
TI  - Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
AU  - Mohsen Khani
AU  - Ali N. Valizadeh
AU  - Afshin Zarei
PY  - 2025
UR  - https://arxiv.org/abs/2508.02303
ID  - 2508.02303
ER  -