Codimension and pseudometric in co-Heyting algebras

DOI10.1007/s00012-011-0103-xzbMath1217.06002arXiv0812.2026OpenAlexW2100783372MaRDI QIDQ535091

Luck Darnière, Markus Junker

Publication date: 11 May 2011

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

Full work available at URL: https://arxiv.org/abs/0812.2026

zbMATH Keywords

dualityHeyting algebrasdimensioncodimensionrankgeneral topologycorankslicesbounded distributive lattice

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Topological lattices (06B30)

Related Items

THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS ⋮ Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond

Cites Work

• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• Locally finite varieties of Heyting algebras
• Profinite completions and canonical extensions of Heyting algebras
• Number of prelocally table superintuitionistic propositional logics
• Unification in intuitionistic logic
• Finitely generated free Heyting algebras
• Prime Ideal Structure in Commutative Rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Codimension and pseudometric in co-Heyting algebras