Abstract:
Two groups are constructed, these being elementarily equivalent, with one of them being nontrivially partially ordered but without being directionally ordered, while the other is directionally ordered. This proves the elementary nonclosure and nonaxiomatizability of the class of directionally ordered groups in the class of nontrivially partially ordered groups.
It is shown that, in the decreasing chain of classes, i.e., all groups, nontrivially partially ordered groups, directionally ordered groups, and lattice ordered groups, each successive class is not elementarily closed, and hence, is not axiomatizable, in any earlier class.