Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khani, Mohsen, Valizadeh, Ali N., Zarei, Afshin
Format:	Preprint
Published:	2025
Subjects:	Logic 03B25, 03C10, 11U09, 11U05 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2508.02303