Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904043 | Topology and its Applications | 2018 | 9 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
Authors
Samuel J. v. Gool, Luca Reggio,