7 citations · 13 across the 5 of their papers we have counts for
5 papers
MacNeille completion and profinite completion can coincide on finitely generated modal algebras
Jacob Vosmaer
Following Bezhanishvili & Vosmaer, we confirm a conjecture of Yde Venema by piecing together results from various authors. Specifically, we show that if is a residuall…
A new version of an old modal incompleteness theorem
Jacob Vosmaer
Thomason \cite{Thomason74} showed that a certain modal logic is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed tha…
Generalized powerlocales via relation lifting
Yde Venema, Steve Vickers, Jacob Vosmaer
This paper introduces an endofunctor $\VT$ on the category of frames, parametrized by an endofunctor $\T$ on the category $\Set$ that satisfies certain constraints. This generalize…
A view of canonical extension
Mai Gehrke, Jacob Vosmaer
This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices…
Canonical extension and canonicity via DCPO presentations
Mai Gehrke, Jacob Vosmaer
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this pape…