[BOEK][B] Korte beschrijving van het zuid-oostelijk schiereiland van Celebes, in het bijzonder van de Vosmaers-baai of van Kendari; verrijkt met eenige berigten omtrent …
JN Vosmaer - 1835 - books.google.com
Het zuid-oostelijk schiereiland van Celebes, hetwelk door de golf van Boni en Tolo zoodanig
wordt omspoeld, dat het ten noorden slechts door eene smalle landstrook aan het overige …
wordt omspoeld, dat het ten noorden slechts door eene smalle landstrook aan het overige …
Modal logic and the Vietoris functor
Y Venema, J Vosmaer - Leo Esakia on duality in modal and intuitionistic …, 2014 - Springer
In [ 16 ], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological
Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this …
Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this …
A view of canonical extension
M Gehrke, J Vosmaer - … : 8th International Tbilisi Symposium on Logic …, 2011 - Springer
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 with …
extensions. In addition some topological results about canonical extensions of lattices with …
Generalised powerlocales via relation lifting
Y Venema, S Vickers, J Vosmaer - Mathematical Structures in …, 2013 - cambridge.org
This paper introduces an endofunctor VT on the category of frames that is parametrised by
an endofunctor T on the category Set that satisfies certain constraints. This generalises …
an endofunctor T on the category Set that satisfies certain constraints. This generalises …
[PDF][PDF] Comparison of MacNeille, canonical, and profinite completions
G Bezhanishvili, J Vosmaer - Order, 2008 - academia.edu
Comparison of MacNeille, Canonical, and Profinite Completions Page 1 Order (2008) 25:299–320
DOI 10.1007/s11083-008-9095-3 Comparison of MacNeille, Canonical, and Profinite …
DOI 10.1007/s11083-008-9095-3 Comparison of MacNeille, Canonical, and Profinite …
[BOEK][B] Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology.
J Vosmaer - 2010 - eprints.illc.uva.nl
In this dissertation we discuss three subjects: canonical extensions of lattice-based algebras,
Stone duality for distrbutive lattices with operators, and a generalization of the point-free …
Stone duality for distrbutive lattices with operators, and a generalization of the point-free …
[BOEK][B] Het leven en de wandelingen van Meester Maarten Vroeg
J Vosmaer - 1892 - books.google.com
Page 1 KLASSIEK O LETTERKUNDIG PANTHEON OOON NONOO Jacob Vosmaer Het
Leven en de Wandelingen van Meester Maarten Vroeg T 15723 [126] VJ THIEME & CIE Page …
Leven en de Wandelingen van Meester Maarten Vroeg T 15723 [126] VJ THIEME & CIE Page …
Canonical extensions and canonicity via dcpo presentations
M Gehrke, J Vosmaer - Theoretical computer science, 2011 - Elsevier
The canonical extension of a lattice is in an essential way a two-sided completion. Domain
theory, in contrast, is primarily concerned with one-sided completeness. In this paper, we …
theory, in contrast, is primarily concerned with one-sided completeness. In this paper, we …
A new version of an old modal incompleteness theorem
J Vosmaer - arXiv preprint arXiv:1202.3268, 2012 - arxiv.org
Thomason \cite{Thomason74} showed that a certain modal logic $\mathbf{L}\subset \mathbf{S4}$
is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed …
is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed …
MacNeille completion and profinite completion can coincide on finitely generated modal algebras
J Vosmaer - Algebra universalis, 2009 - Springer
Following Bezhanishvili and Vosmaer, we confirm a conjecture of Yde Venema by piecing
together results from various authors. Specifically, we show that if $${\mathbb{A}}$$ is a …
together results from various authors. Specifically, we show that if $${\mathbb{A}}$$ is a …