Неаксиоматизируемость направленно упорядочиваемых групп в классе нетривиально частично упорядочиваемых групп

Построены две группы, являющиеся элементарно эквивалентными, причем одна из них нетривиально частично упорядочиваема, но не является направленно упорядочиваемой, а вторая — направленно упорядочиваема. Это доказывает элементарную незамкнутость и неаксиоматизируемость класса направленно упорядочиваемых групп в классе нетривиально частично упорядочиваемых.
Показано, что в убывающей цепочке классов ? все группы, нетривиально частично упорядочиваемые, направленно упорядочиваемые, решеточно упорядочиваемые — каждый последующий не является элементарно замкнутым и, следовательно, неаксиоматизируем в любом предыдущем. Библ. 4 назв.