25 citations · 61 across the 22 of their papers we have counts for
1 paper · 2 filters
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…