Some model theory of $\mathrm{Th}(\mathbb{N},\cdot )$

Atticus Stonestrom

'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 set…