Canonical Extensions, Esakia Spaces, and Universal Models
From MaRDI portal
Publication:5255790
DOI10.1007/978-94-017-8860-1_2zbMath1350.03050OpenAlexW2159110442MaRDI QIDQ5255790
Publication date: 19 June 2015
Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-017-8860-1_2
Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (22)
Priestley duality for MV-algebras and beyond ⋮ Dual Space of a Lattice as the Completion of a Pervin Space ⋮ Funayama's theorem revisited ⋮ A non-commutative Priestley duality. ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Topological duality and algebraic completions ⋮ On duality and model theory for polyadic spaces ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Lattice subordinations and Priestley duality. ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Algebraic Representation, Dualities and Beyond ⋮ Uniform interpolation and coherence ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ⋮ Monotonic distributive semilattices ⋮ Stone duality, topological algebra, and recognition. ⋮ Canonical extensions and ultraproducts of polarities ⋮ Difference hierarchies and duality with an application to formal languages ⋮ Canonical extensions of locally compact frames ⋮ Easkia Duality and Its Extensions ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
Cites Work
- Canonical extensions and canonicity via dcpo presentations
- Unification, finite duality and projectivity in varieties of Heyting algebras
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- A concept of completeness of quasi-uniform spaces
- Quasi-uniformization of topological spaces
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- An algebraic theory of normal forms
- Completeness results for intuitionistic and modal logic in a categorical setting
- Constructive canonicity in non-classical logics
- Quasiorders and sublattices of distributive lattices
- Varieties of complex algebras
- On closed elements in closure algebras
- Stone Duality and the Recognisable Languages over an Algebra
- Continuity, freeness, and filtrations
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- A View of Canonical Extension
- Duality and Equational Theory of Regular Languages
- Rules of inference with parameters for intuitionistic logic
- Finitely generated free Heyting algebras
- A new proof of Sahlqvist's theorem on modal definability and completeness
- Bounded distributive lattice expansions
- Modal Logics Between S 4 and S 5
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- The regular-locally compact coreflection of a stably locally compact locale
- Bounded lattice expansions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Canonical Extensions, Esakia Spaces, and Universal Models