{"id":"arxiv/2602.19602","url":"https://arxiv.org/abs/2602.19602","tags":["math.LO"],"score":0,"title":"Axiomatizations of Presburger Arithmetic With Predicates For Powers","domain":"math.LO","source":"arxiv","authors":["Philipp Hieronymi","Michael Reitmeir","Xiaoduo Wang"],"reviews":0,"subject":"math.LO","summary":"We give a complete first-order axiomatization of the structure $(\\mathbb{Z},+,(\\ell^{\\mathbb{N}})_{\\ell\\in L})$, where $L \\subseteq \\mathbb{Z}_{\\ge 2}$ is a set of pairwise multiplicatively independent integers and $\\ell^{\\mathbb{N}} = \\{\\ell^n : n\\in \\mathbb{N}\\}$. Using recent work of Karimov et al., we obtain that this axiomatization is computable for $|L|=2$, which proves that $(\\mathbb{Z},+,k^{\\mathbb{N}}, \\ell^{\\mathbb{N}})$ is decidable for $k, \\ell\\in \\mathbb{Z}_{\\ge 2}$. Furthermore, we give an axiomatization of the universal theory of $(\\mathbb{Z},+,<,(\\ell^{\\mathbb{N}})_{\\ell\\in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-23","reactions":{}}