Representation and reticulation by quotients of MV-algebras
algebra of nonstandard real-valued functions
scientific article; zbMATH DE number 96524