Universal Equivalence of Ordered Abelian Groups

  • Yuri Gurevich

Algebra and Logic | , pp. 37-39

下载 BibTex

We prove that no universal first-order property distinguishes between any two ordered abelian groups.