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.
Similar content being viewed by others
Literature cited
Yu. Los', “On the existence of a linear order in a group,” Byull Pol'skoi AN, III, II, No. 1, 19–21 (1954).
A. A. Vinogradov, “Nonaxiomatizability of lattice ordered groups,” Sibirsk. Matem. Zh.,12, No. 2, 463–464 (1971).
W. Szmielew, “Elementary properties of abelian groups,” Fundam. Math.,41, No. 2, 203–271 (1955).
S. Kochen, “Ultraproducts in the theory of models,” Ann. Math.,74, No. 2, 221–261 (1961).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 14, No. 3, pp. 395–397, September, 1973.
Rights and permissions
About this article
Cite this article
Vinogradov, A.A. Nonaxiomatizability of directionally ordered groups in the class of nontrivially partially ordered groups. Mathematical Notes of the Academy of Sciences of the USSR 14, 787–788 (1973). https://doi.org/10.1007/BF01147456
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01147456