A embedding theorem for lattice-ordered fields
scientific article; zbMATH DE number 3290419