Pages that link to "Item:Q1913876"
From MaRDI portal
The following pages link to Finitely generated relatively universal varieties of Heyting algebras (Q1913876):
Displaying 9 items.
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Endomorphisms and homomorphisms of Heyting algebras (Q1061758) (← links)
- Open questions related to the problem of Birkhoff and Maltsev (Q1770619) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- On relative universality and \(Q\)-universality of finitely generated varieties of Heyting algebras. (Q2842082) (← links)
- (Q3535661) (← links)
- Varieties of universal algebras generated by finite algebras associated with cycle systems (Q4705892) (← links)
- Finitely generated free Heyting algebras (Q4724609) (← links)