Codimension and pseudometric in co-Heyting algebras

DOI10.1007/s00012-011-0103-xzbMath1217.06002arXiv0812.2026MaRDI 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

duality; Heyting algebras; dimension; codimension; rank; general topology; corank; slices; bounded distributive lattice

Mathematics Subject Classification ID

06B23: Complete lattices, completions

06D20: Heyting algebras (lattice-theoretic aspects)

06D50: Lattices and duality

06B30: Topological lattices

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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