Construction of existentially closed abelian lattice-ordered groups using upper extensions
scientific article; zbMATH DE number 6968510
scientific article