27 citations · 64 across the 13 of their papers we have counts for
1 paper · 1 filter
Samuel J. van Gool, Luca Reggio
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 uni…