Equimorphy in varieties of double Heyting algebras
Tom 77 / 1998
Colloquium Mathematicum 77 (1998), 41-58
DOI: 10.4064/cm-77-1-41-58
Streszczenie
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 $\Cal S$ ⊆ 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 double p-algebras.
