An open mapping theorem for finitely copresented Esakia spaces

DOI10.1016/j.topol.2018.03.006zbMath1423.06032arXiv1710.01630OpenAlexW2761748102WikidataQ130120583 ScholiaQ130120583MaRDI QIDQ1744600

Luca Reggio, Samuel J. van Gool

Publication date: 23 April 2018

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.01630

zbMATH Keywords

intuitionistic logicuniform interpolationEsakia dualityapplied topology

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Varieties of monadic Heyting algebras. II: Duality theory
• An algebraic theory of normal forms
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Varieties of monadic Heyting algebras. I
• Amalgamation and interpolation in ordered algebras.
• Uniform interpolation and compact congruences
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• A sheaf representation and duality for finitely presented Heyting algebras
• Canonical Extensions, Esakia Spaces, and Universal Models
• A proof of the completeness theorem of Grödel

This page was built for publication: An open mapping theorem for finitely copresented Esakia spaces