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

MaRDI QIDQ7187674arXivFDO

Authors Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09)

arXiv classification

math.LO

This page was built for publication: Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7187674)