Profinite completions and canonical extensions of Heyting algebras
From MaRDI portal
(Redirected from Publication:862977)
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.
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3152563 (Why is no real title available?)
- scientific article; zbMATH DE number 3968648 (Why is no real title available?)
- scientific article; zbMATH DE number 3660419 (Why is no real title available?)
- scientific article; zbMATH DE number 3720979 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 3536176 (Why is no real title available?)
- scientific article; zbMATH DE number 3581219 (Why is no real title available?)
- scientific article; zbMATH DE number 3639689 (Why is no real title available?)
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- A coalgebraic view of Heyting duality
- Boolean Algebras with Operators. Part I
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Locally finite varieties of Heyting algebras
- Monotone bounded distributive lattice expansions
- On profinite completions and canonical extensions
- On the canonicity of Sahlqvist identities
- Pretabular superintuitionistic logic
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Varieties of monadic Heyting algebras. II: Duality theory
Cited in
(29)- The frame of nuclei on an Alexandroff space
- Codimension and pseudometric in co-Heyting algebras
- Epimorphisms in varieties of residuated structures
- 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.
- scientific article; zbMATH DE number 5365721 (Why is no real title available?)
- 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
- Canonical extensions and profinite completions of semilattices and lattices
- Model completion of varieties of co-Heyting algebras
- 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)
