Universal Equivalence of Ordered Abelian Groups - Gurevich, Yuri (Algebra and Logic, 1963)
We prove that no universal first-order property distinguishes between any two ordered abelian groups.