Concerning axiomatizability of the quasi
β
WlesΕaw Dziobiak
π
Article
π
1982
π
Springer Netherlands
π
English
β 852 KB
In classes of algebras such as lattices, groups, and rings, there arefinite algebras which individually generate quasivarieties which are not finitely axiomatiza.ble (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras