Canonical extensions, esakia spaces, and universal models

14Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

You may have access to this PDF.

Abstract

In this chapter we survey some recent developments in duality for lattices with additional operations paying special attention to Heyting algebras and the connections to Esakia’s work in this area. In the process we analyse the Heyting implication in the setting of canonical extensions both as a property of the lattice and as an additional operation. We describe Stone duality as derived from canonical extension and derive Priestley and Esakia duality from Stone duality for maps. In preparation for this we show that the categories of Heyting and modal algebras are both equivalent to certain categories of maps between distributive lattices and Boolean algebras. Finally we relate the N-universal model of intuitionistic logic to the Esakia space of the corresponding Heyting algebra via bicompletion of quasi-uniform spaces.

Cite

CITATION STYLE

APA

Gehrke, M. (2014). Canonical extensions, esakia spaces, and universal models. In Outstanding Contributions to Logic (Vol. 4, pp. 9–41). Springer. https://doi.org/10.1007/978-94-017-8860-1_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free