Finitely generated relatively universal varieties of Heyting algebras

DOI10.1007/BF01195502zbMath0854.06012OpenAlexW1977123486MaRDI QIDQ1913876

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

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

Related Items (1)

Open questions related to the problem of Birkhoff and Maltsev

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Endomorphisms and homomorphisms of Heyting algebras
• Isomorphism Universal Varieties of Heyting Algebras
• Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras)
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Topological categories containing any category of algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces

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