Denote by Υ1 the collection of quasivarieties of pseudo-MV-algebras; and by Υ2, the collection of quasivarieties of lattice-ordered groups. With respect to the set-theoretic inclusion, Υ1 and Υ2 are lattices.
展开▼
机译:用Υ1表示伪MV代数的拟集合; by 2表示晶格有序群的拟集合。关于集合理论包含,Υ1和Υ2是晶格。
展开▼