New axioms for the lattice-ordered groups existentially closed in $\mathbf W^+$
Brian Wynne · Fundamenta Mathematicae · 2023
Let $\bf {W}^+$ be the class of nonzero Archimedean lattice-ordered groups with distinguished strong order unit, viewed as structures for the first-order language $\{ +, -, \wedge , \vee , 0, 1 \}$. This paper gives new axioms for the lattice-ordered grou