Model-completions for abelian lattice-ordered groups with finitely many disjoint elements

From MaRDI portal
Publication:1740455