25 citations · 61 across the 22 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
An open mapping theorem for finitely copresented Esakia spaces
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…
cs.LO2017★ 4 cited
Quantifiers on languages and codensity monads
Mai Gehrke, Daniela Petrisan, Luca Reggio
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a genera…