Equimorphy in varieties of double Heyting algebras
V. Koubek, J. Sichler (1998)
Colloquium Mathematicae
Similarity:
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...