A topological characterization of the Dedekind-MacNeille completion for Heyting algebras

MaRDI QIDQ5283726zbMATH OpenFDO

Authors Carlos Ernesto Scirica, Alejandro Petrovich

Publication date 24 July 2017

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2138212
• Hyper-MacNeille completions of Heyting algebras
• Topo-canonical completions of closure algebras and Heyting algebras
• scientific article; zbMATH DE number 1048045
• Profinite completions and canonical extensions of Heyting algebras

Cited in

(8)

• Hyper-MacNeille completions of Heyting algebras
• Topo-canonical completions of closure algebras and Heyting algebras
• The Dedekind MacNeille site completion of a meet semilattice
• scientific article; zbMATH DE number 4127283 (Why is no real title available?)
• scientific article; zbMATH DE number 1048045 (Why is no real title available?)
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• A complete Heyting algebra whose Scott space is non-sober
• A new characterization of complete Heyting and co-Heyting algebras

This page was built for publication: A topological characterization of the Dedekind-MacNeille completion for Heyting algebras

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