solidot新版网站常见问题，请点击这里查看。
消息
本文已被查看79次
There are no intermediate structures between the group of integers and Presburger arithmetic. (arXiv:1603.00454v3 [math.LO] UPDATED)
来源于:arXiv
We show that if a first-order structure $\mathcal{M}$, with universe
$\mathbb{Z}$, is an expansion of $(\mathbb{Z},+,0)$ and a reduct of
$(\mathbb{Z},+,<,0)$, then $\mathcal{M}$ must be interdefinable with
$(\mathbb{Z},+,0)$ or $(\mathbb{Z},+,<,0)$. 查看全文>>
