Finitely generated relatively universal varieties of Heyting algebras

DOI10.1007/BF01195502zbMATH Open0854.06012OpenAlexW1977123486MaRDI QIDQ1913876FDOQ1913876

Václav Koubek

Publication date: 19 January 1997

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01195502

zbMATH Keywords

Priestley dualityvarieties of Heyting algebrasalmost universal variety

Mathematics Subject Classification ID

Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20) Embedding theorems, universal categories (18B15)

Cites Work

• Representation of Distributive Lattices by means of ordered Stone Spaces
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Endomorphisms and homomorphisms of Heyting algebras
• Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras)
• Isomorphism Universal Varieties of Heyting Algebras
• Topological categories containing any category of algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Open questions related to the problem of Birkhoff and Maltsev
• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Finitely generated free Heyting algebras
• Title not available (Why is that?)
• Varieties of universal algebras generated by finite algebras associated with cycle systems

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Unification, finite duality and projectivity in varieties of Heyting algebras 👍 👎
• On relative universality and \(Q\)-universality of finitely generated varieties of Heyting algebras. 👍 👎
• Finitely generated free Heyting algebras 👍 👎
• Locally finite varieties of Heyting algebras 👍 👎
• Varieties generated by finite homogeneous algebras 👍 👎
• Varieties of infinitary universal algebras 👍 👎
• Finitely generated free Heyting algebras: the well-founded initial segment 👍 👎
• Isomorphism Universal Varieties of Heyting Algebras 👍 👎

This page was built for publication: Finitely generated relatively universal varieties of Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1913876)