Distal expansions of Presburger arithmetic by a sparse predicate

2024/01/15 by Tong, Mervyn
#03C45 #03C64 (Primary) 11B37 #11U09 (Secondary) #FOS: Mathematics #Logic (math.LO) #Number Theory (math.NT)

paper · doi:10.48550/arxiv.2401.07998

Abstract

We prove that the structure (ℤ,<,+,R) is distal for all congruence-periodic sparse predicates R⊆ℕ. We do so by constructing strong honest definitions for representative formulas of the theory, providing a rare example of concrete distal decompositions.

Related

• A Dichotomy for k-automatic expansions of Presburger Arithmetic
• Bounding quantification in parametric expansions of Presburger\n arithmetic
• Undefinability of multiplication in Presburger arithmetic with sets of powers
• On the Decidability of Presburger Arithmetic Expanded with Powers
• Arithmetic properties of sparse subsets of ℤⁿ