We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Undefinability of multiplication in Presburger arithmetic with sets of powers

Abstract: We begin by proving that any Presburger-definable image of one or more sets of powers has zero natural density. Then, by adapting the proof of a dichotomy result on o-minimal structures by Friedman and Miller, we produce a similar dichotomy for expansions of Presburger arithmetic on the integers. Combining these two results, we obtain that the expansion of the ordered group of integers by any number of sets of powers does not define multiplication.
Comments: 15 pages
Subjects: Logic (math.LO)
Cite as: arXiv:2209.11858 [math.LO]
  (or arXiv:2209.11858v1 [math.LO] for this version)

Submission history

From: Christian Schulz [view email]
[v1] Fri, 23 Sep 2022 21:09:43 GMT (18kb)

Link back to: arXiv, form interface, contact.