An open mapping theorem for finitely copresented Esakia spaces
Sign Up to like & getrecommendations! Published in 2017 at "Topology and its Applications"
DOI: 10.1016/j.topol.2018.03.006
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,… read more here.
Keywords: copresented esakia; open mapping; theorem finitely; finitely copresented ... See more keywords