Canonical Extensions, Esakia Spaces, and Universal Models

DOI10.1007/978-94-017-8860-1_2zbMath1350.03050OpenAlexW2159110442MaRDI QIDQ5255790

Mai Gehrke

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

zbMATH Keywords

Heyting algebraBooleanizationcanonical extensionuniversal modelEskia duality

Mathematics Subject Classification ID

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