Nonaxiomatizability of directionally ordered groups in the class of nontrivially partially ordered groups

From MaRDI portal
Publication:1212486