Profinite completions and canonical extensions of Heyting algebras
From MaRDI portal
(Redirected from Publication:862977)
Necessary and sufficient conditions are obtained for the profinite completion of a Heyting algebra to coincide with its canonical extension. This provides a new criterion for a variety of Heyting algebras to be finitely generated, and a new proof of the fact that every finitely generated variety of Heyting algebras is canonical.
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
- A coalgebraic view of Heyting duality
- Boolean Algebras with Operators. Part I
- Bounded distributive lattice expansions
- Bounded lattice expansions
- 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?)
- 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
(32)- Comparison of MacNeille, canonical, and profinite completions
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- Model completions and r-Heyting categories
- Canonical extensions and ultraproducts of polarities
- On some classes of Heyting algebras with successor that have the amalgamation property
- Bohr compactifications of algebras and structures
- Hyper-MacNeille completions of Heyting algebras
- Profiniteness and representability of spectra of Heyting algebras
- Epimorphisms in varieties of residuated structures
- Topo-canonical completions of closure algebras and Heyting algebras
- Canonical extensions and profinite completions of semilattices and lattices
- Boolean topological distributive lattices and canonical extensions
- The frame of nuclei on an Alexandroff space
- Duality and universal models for the meet-implication fragment of IPC
- scientific article; zbMATH DE number 5365721 (Why is no real title available?)
- Profinite Heyting algebras and profinite completions of Heyting algebras
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
- Model completion of varieties of co-Heyting algebras
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
- Profinite completions and MacNeille completions of finitely presented MV-algebras
- A complete Heyting algebra whose Scott space is non-sober
- A topological characterization of the Dedekind-MacNeille completion for Heyting algebras
- Codimension and pseudometric in co-Heyting algebras
- Profinite completions and canonical extensions of semilattice reducts of distributive lattices.
- A note on profinite completions and canonical extensions
- Priestley rings and Priestley order-compactifications
- Compatible relations on Heyting chains
- Profinite bi-Heyting algebras
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- On profinite completions and canonical extensions
- Profinite MV-algebras and multisets.
- Profinite Heyting algebras
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)
