Finitely generated relatively universal varieties of Heyting algebras |
| |
Authors: | V. Koubek |
| |
Affiliation: | (1) MFF KU, Malostranské nám. 25, 118 00 Praha 1, Czech Republic |
| |
Abstract: | Given distinct varieties and of the same type, we say that is relatively-universal if there exists an embedding :K 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) . Finitely generated relatively-universal varieties of Heyting algebras are described for the variety 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.Dedicated to the memory of Alan DayPresented by J. Sichler.The support of the NSERC is gratefully acknowledged. |
| |
Keywords: | variety of Heyting algebras almost universal category Priestley's duality |
本文献已被 SpringerLink 等数据库收录! |
|