Order, lattices, ordered algebraic structures Distributive lattices Concept
Esakia space
Summary
An Esakia space is a Priestley space in which the down-set of every clopen set is again clopen. Esakia spaces are the spaces dual to Heyting algebras, by Esakia duality. The Heyting algebra of an Esakia space is its algebra of clopen up-sets. They connect the algebraic semantics of intuitionistic logic with its Kripke semantics.
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | 996BWM6ZQ7 |
|---|---|
| URI | m2://996BWM6ZQ7 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 06D20, 06D50, 03G10 |
| Specializes | Priestley space |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.