Profinite completions and canonical extensions of Heyting algebras
From MaRDI portal
Publication:862977
DOI10.1007/S11083-006-9037-XzbMATH Open1112.06008OpenAlexW2157374667MaRDI QIDQ862977FDOQ862977
Authors: Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick Morandi 
Publication date: 25 January 2007
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11083-006-9037-x
Recommendations
- Profinite Heyting algebras and profinite completions of Heyting algebras
- Topo-canonical completions of closure algebras and Heyting algebras
- Profinite Heyting algebras
- On profinite completions and canonical extensions
- Profinite completions and canonical extensions of semilattice reducts of distributive lattices.
Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Boolean Algebras with Operators. Part I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Title not available (Why is that?)
- Varieties of monadic Heyting algebras. II: Duality theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the canonicity of Sahlqvist identities
- On profinite completions and canonical extensions
- Pretabular superintuitionistic logic
- Monotone bounded distributive lattice expansions
- Locally finite varieties of Heyting algebras
- A coalgebraic view of Heyting duality
- Title not available (Why is that?)
Cited In (29)
- The frame of nuclei on an Alexandroff space
- Epimorphisms in varieties of residuated structures
- Codimension and pseudometric in co-Heyting algebras
- Profinite MV-algebras and multisets.
- Comparison of MacNeille, canonical, and profinite completions
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- On some classes of Heyting algebras with successor that have the amalgamation property
- Profiniteness and representability of spectra of Heyting algebras
- Profinite Heyting algebras and profinite completions of Heyting algebras
- Profinite completions and MacNeille completions of finitely presented MV-algebras
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
- A note on profinite completions and canonical extensions
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- On profinite completions and canonical extensions
- Boolean topological distributive lattices and canonical extensions
- Duality and universal models for the meet-implication fragment of IPC
- Canonical extensions and ultraproducts of polarities
- Hyper-MacNeille completions of Heyting algebras
- Profinite completions and canonical extensions of semilattice reducts of distributive lattices.
- Title not available (Why is that?)
- Topo-canonical completions of closure algebras and Heyting algebras
- Profinite Heyting algebras
- Compatible relations on Heyting chains
- Priestley rings and Priestley order-compactifications
- A topological characterization of the Dedekind-MacNeille completion for Heyting algebras
- Model completion of varieties of co-Heyting algebras
- Canonical extensions and profinite completions of semilattices and lattices
- A complete Heyting algebra whose Scott space is non-sober
- Bohr compactifications of algebras and structures
This page was built for publication: Profinite completions and canonical extensions of Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q862977)
