Курылева О. А.
О квазимногообразиях псевдо-MV-алгебр
Пусть ϒ1 — совокупность квазимногообразий псевдо MV -алгебр, а
ϒ2 — совокупность квазимногообразий решеточно упорядоченных групп. Относительно теоретико-множественного включения ϒ1 и ϒ2 являются решетками. Отмечены некоторые свойства ϒ1 и построено инъективное отображение φ из ϒ2 в ϒ1 такое, что Z1 ⊆ Z2 ⇔ (Z1) ⊆ (Z2) для любых Z1, Z2 ∈ ϒ2.
|
Kuryleva O. A.
Quasivarieties of pseudo-MV-algebras
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.
|