An open mapping theorem for finitely copresented Esakia spaces

DOI10.1016/J.TOPOL.2018.03.006MaRDI QIDQ1744600zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Abstract: We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. This yields in particular a short, self-contained semantic proof of the uniform interpolation theorem for intuitionistic propositional logic, first proved by Pitts in 1992. Our proof is based on the methods of Ghilardi & Zawadowski. However, our proof does not require sheaves nor games, only basic duality theory for Heyting algebras.

Recommendations

• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Tarski's theorem on intuitionistic logic, for polyhedra
• On the Blok-Esakia theorem
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Esakia duality and its extensions

Cites work

• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• A proof of the completeness theorem of Grödel
• A sheaf representation and duality for finitely presented Heyting algebras
• Amalgamation and interpolation in ordered algebras.
• An algebraic theory of normal forms
• Canonical extensions, Esakia spaces, and universal models
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Uniform interpolation and compact congruences
• Varieties of monadic Heyting algebras. I
• Varieties of monadic Heyting algebras. II: Duality theory

Cited in

(1)

• Tarski's theorem on intuitionistic logic, for polyhedra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744600)