Cover Image

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence

Fuente: arXiv

Saved in:

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

Similar Items

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Exponential sums and motivic oscillation index of arbitrary ideals and their applications
by: Nguyen, Kien Huu
Published: (2023)

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

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

Definability and decidability for rings of integers in totally imaginary fields
by: Springer, Caleb
Published: (2022)

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

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

Path of pathology
by: Filipów, Rafał, et al.
Published: (2024)

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

Model theory, differential algebra and functional transcendence
by: Martin-Pizarro, Amador
Published: (2025)

Ramsey's witnesses
by: Di Nasso, Mauro, et al.
Published: (2025)

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

Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures
by: Fujita, Masato
Published: (2024)

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

On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)

Monochromatic sums and quotients in $\mathbb N$
by: Di Nasso, Mauro, et al.
Published: (2026)

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

Definable compactness in definably complete locally o-minimal structures
by: Fujita, Masato
Published: (2023)

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

Three forms of the Erdős-Dushnik-Miller Theorem
by: Howard, Paul, et al.
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)