Photo from archive.org
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… Click to show full abstract
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.
Keywords:
copresented esakia;
open mapping;
theorem finitely;
finitely copresented;
mapping theorem
Journal Title: Topology and its Applications
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Topology and its Applications
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!