ISSN:
1420-8911
Keywords:
variety of Heyting algebras
;
almost universal category
;
Priestley's duality
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract Given distinct varieties $$\mathbb{V}$$ and $$\mathbb{W}$$ of the same type, we say that $$\mathbb{V}$$ is relatively $$\mathbb{W}$$ -universal if there exists an embedding Φ:K→ $$\mathbb{V}$$ from a universal categoryK such that for every pairA, B ofK-objects, a homomorphismf:ΦA → ΦB has the formf=Φg for someK-morphismg:A →B if and only if Im(f) ∉ $$\mathbb{W}$$ . Finitely generated relatively $$\mathbb{W}$$ -universal varieties of Heyting algebras are described for the variety $$\mathbb{W}$$ of Boolean algebras, the variety generated by a three element chain, and for the variety generated by the four element Boolean algebra with an added greatest element.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01195502
Permalink