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: Some model theory of $\operatorname{Th}(\mathbb{N},\cdot)$

Abstract: 'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of having the same definable closure, there is only one non-trivial one: the set of squarefree elements. We then prove that $T$ has weak elimination of imaginaries but not elimination of finite imaginaries.
Subjects: Logic (math.LO)
Cite as: arXiv:2109.01131 [math.LO]
  (or arXiv:2109.01131v1 [math.LO] for this version)

Submission history

From: Atticus Stonestrom [view email]
[v1] Thu, 2 Sep 2021 17:55:48 GMT (21kb,D)

Link back to: arXiv, form interface, contact.