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. We note some properties of Υ1 and construct an injective mapping φ of Υ2 into Υ1 such that Z1⊆Z2⇔ϕ(Z1)⊆ϕ(Z2) for all Z1, Z2 ∈ Υ2.
机构:
Univ Barcelona, Fac Matemat, Gran Via 585, E-08007 Barcelona, Catalonia, SpainUniv Barcelona, Fac Matemat, Gran Via 585, E-08007 Barcelona, Catalonia, Spain
机构:
Slovak Tech Univ Bratislava, Fac Chem Technol, Dept Math, SK-81237 Bratislava, SlovakiaSlovak Tech Univ Bratislava, Fac Chem Technol, Dept Math, SK-81237 Bratislava, Slovakia