Cover Image

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brown, Hera, Konieczny, Jakub
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic Number Theory 11U05, 03B10, 03B25, 11J54
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)

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)

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

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)

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

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

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

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

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

The lattice of ideals of certain rings
by: Savin, Diana
Published: (2023)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)

Divisibility classes of ultrafilters and their patterns
by: Šobot, Boris
Published: (2024)

A survey on divisibility of ultrafilters
by: Šobot, Boris
Published: (2024)

$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture
by: Šobot, Boris
Published: (2023)

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

Topology and category for singular product spaces
by: Hayashi, Yusuke, et al.
Published: (2026)

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

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

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

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

Algebra of Self-Replication
by: Moss, Lawrence S.
Published: (2023)

Classification Strength of Polish Groups: Involving $S_\infty$
by: Allison, Shaun
Published: (2023)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Non-meager $\mathsf{P}$-filters, Miller-measurability, and a question of Hrušák
by: Medini, Andrea
Published: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

A Linear-Size Block-Partition Fibonacci Encoding for Gödel Numbering
by: Sóstai, Zoltán
Published: (2026)

Generic Solutions of Equations Involving the Modular $j$-function
by: Eterović, Sebastian
Published: (2022)

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

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

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