Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2043

Preprint Number 2043

Previous Next Preprint server

2043. Atticus Stonestrom
Some model theory of Th(ℕ,·)

Submission date: 2 September 2021


'Skolem arithmetic' is the complete theory T of the multiplicative monoid (ℕ, ·). We give a full characterization of the &empy;-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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2109.01131: pdf, ps.

Last updated: September 13 2021 14:13 Please send your corrections to: