Esakia Duality

Origin. Leo Esakia, "Topological Kripke models" (1974), which gave the duality for Heyting algebras; the Blok–Esakia theorem (Blok 1976, Esakia 1976) is its most consequential corollary. Esakia's Heyting Algebras: Duality Theory was published in English only in 2019, forty-five years after the Russian original, which is part of why the subject was slow to travel.

Models. Priestley duality plus the Heyting implication. A Heyting algebra is dual to an ordered Stone space in which the downset of a clopen set is clopen — an Esakia space, which is exactly the topological version of an intuitionistic Kripke frame. Where Jónsson–Tarski explains why modal logic has two semantics, Esakia explains why intuitionistic logic does, and the Blok–Esakia theorem explains why the two are the same explanation.

Formalism.

Esakia space: A Priestley space (X, τ, ≤) in which ↓U is clopen for every clopen U. The extra condition is what the implication demands: → needs the downset operation to stay inside the algebra.

The duality: HA ≃ Esa^op Heyting algebras ≃ Esakia spaces. Clopen upsets of the space form the algebra; prime filters of the algebra form the space. Intuitionistic Kripke frames are the special case where the topology is discrete and the space finite.

Correspondence of structure: Subalgebras ↔ Esakia quotients Homomorphic images ↔ closed upsets Intermediate logics ↔ subvarieties of HA ↔ classes of Esakia spaces The lattice of intermediate logics is dual to the lattice of subvarieties.

The Blok–Esakia theorem: The lattice of intermediate logics is isomorphic to the lattice of normal extensions of Grzegorczyk's logic Grz. σ : Λ(IPC) → Λ(Grz), the Gödel translation's algebraic form. Every intermediate logic has a greatest modal companion, and the map is an isomorphism of complete lattices. So the intuitionistic and the modal hierarchies are the same object, and the duality is what shows it.

Interior algebras: Topological Boolean algebras (Boolean + an interior operator) are dual to Esakia spaces too. McKinsey–Tarski (1944) is the algebraic half; Esakia the topological. Grz's algebras are the interior algebras whose open elements form a Heyting algebra.

Symbols.

Symbol	Unicode	Name	Meaning
HA	—	Heyting algebras	The variety
Esa	—	Esakia spaces	The dual category
↓U	U+2193	Downset	Must be clopen
≤	U+2264	Specialization order	The Priestley order
σ	U+03C3	Blok–Esakia map	Intermediate logic to modal companion
Grz	—	Grzegorczyk logic	The modal image of IPC

Metatheory. The Blok–Esakia theorem is the strongest transfer result in this collection's territory: it says the intermediate logics and the normal extensions of Grz are the same lattice, so every question about one is a question about the other and any answer transfers automatically. Decidability, finite model property, interpolation, and tabularity all cross the isomorphism. That is why Modal Companions is an entry in Modal and why Intermediate Logics is one in Algebraic/Heyting — the duality here is what makes them the same entry viewed twice, and Medvedev's logic being unaxiomatizable is a fact about a subvariety of Heyting algebras and about a modal logic above Grz at the same time.

Applies to. The lattice of intermediate logics. Modal companions and the Gödel translation. Topological semantics for intuitionistic logic. Kripke frames for IPC, which are the finite discrete Esakia spaces. Any question about superintuitionistic logics, which becomes a question about subvarieties.

Limitations. Esakia spaces are technically demanding and the condition on downsets is unmotivated except by what the proof needs — the duality works and does not illuminate why implication should require exactly that. The English-language gap of four decades left the theory underused outside the Georgian and Dutch schools, and the notation still varies. And the duality is for Heyting algebras: substructural logics without contraction have residuated-lattice semantics for which the corresponding duality is much harder and, in the non-integral cases, not settled.