Cover Image

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!

Similar Items

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
by: Khani, Mohsen, et al.
Published: (2021)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Distal expansions of Presburger arithmetic by a sparse predicate
by: Tong, Mervyn
Published: (2024)

Equations involving the modular $j$-function and its derivatives
by: Aslanyan, Vahagn, et al.
Published: (2023)

Distal Expansions of the Integers and the $p$-adic Fields
by: Okura, Koki
Published: (2026)

A weak version of the Strong Exponential Closure
by: D'Aquino, Paola, et al.
Published: (2019)

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
by: Matiyasevich, Yuri, et al.
Published: (2025)

Considering The Satisfiability of Cubic Diophantine Equations
by: Rosko, Milan
Published: (2025)

Points on a curve with a power on a curve
by: Boxall, Gareth
Published: (2024)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Modular Zilber-Pink for geometrically generic varieties
by: Aslanyan, Vahagn, et al.
Published: (2025)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
by: Hormazábal, Natalia, et al.
Published: (2025)

Diophantine Maps
by: Eggink, A.
Published: (2024)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
by: Wiesnet, Franziskus
Published: (2025)

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)

Decidability of polynomial equations over function fields in positive characteristic
by: Daans, Nicolas
Published: (2025)

Analytically generated sharply o-minimal structures
by: Carmon, Oded
Published: (2026)

Lang-Weil Type Estimates in Finite Difference Fields
by: Hils, Martin, et al.
Published: (2024)

A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)

Zilber's notion of logically perfect structure: Universal Covers
by: Baldwin, John T., et al.
Published: (2023)

Likely intersections in powers of the multiplicative group
by: Dill, Gabriel Andreas, et al.
Published: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

Integer-valued o-minimal functions
by: Bhardwaj, Neer, et al.
Published: (2024)

Complex cells in sharply o-minimal structures
by: Binyamini, Gal, et al.
Published: (2026)

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
by: Shlapentokh, Alexandra, et al.
Published: (2024)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Hilbert's tenth problem for rings of holomorphic functions of bounded order
by: Pasten, Hector
Published: (2024)

Existential rank and essential dimension of diophantine sets
by: Daans, Nicolas, et al.
Published: (2021)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

On the Diophantine problem related to power circuits
by: Rybalov, Alexander
Published: (2025)