On relative universality and Q-universality of finetely generated varieties of Heyting algebras

Abstract

Surprisingly small varieties of Heyting algebras have very complex categorical structure and contain the largest possible number of subquasivarieties.

Keywords

• finitely generated variety
• Heyting algebra
• relative universality
• Q-universality