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

Abstrakt

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

Klíčová slova

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