Currently displaying 1 – 18 of 18

Showing per page

Order by Relevance | Title | Year of publication

Equimorphy in varieties of double Heyting algebras

V. KoubekJ. Sichler — 1998

Colloquium Mathematicae

We show that any finitely generated variety V of double Heyting algebras is finitely determined, meaning that for some finite cardinal n(V), any class 𝒮 ⊆ V consisting of algebras with pairwise isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result complements the earlier established fact of categorical universality of the variety of all double Heyting algebras, and contrasts with categorical results concerning finitely generated varieties of distributive...

Almost ff-universal and q-universal varieties of modular 0-lattices

V. KoubekJ. Sichler — 2004

Colloquium Mathematicae

A variety 𝕍 of algebras of a finite type is almost ff-universal if there is a finiteness-preserving faithful functor F: 𝔾 → 𝕍 from the category 𝔾 of all graphs and their compatible maps such that Fγ is nonconstant for every γ and every nonconstant homomorphism h: FG → FG' has the form h = Fγ for some γ: G → G'. A variety 𝕍 is Q-universal if its lattice of subquasivarieties has the lattice of subquasivarieties of any quasivariety of algebras of a finite type as the quotient of its sublattice....

Page 1

Download Results (CSV)