Vosmaer, Jacob, 1982-
Vosmaer, J.
Jacob Vosmaer Ph.D. Universiteit van Amsterdam 2010
VIAF ID: 286780541 ( Personal )
Permalink: http://viaf.org/viaf/286780541
Preferred Forms
Works
Title | Sources |
---|---|
Essentially Sigma-1 formulae in Sigma L | |
Logic, algebra and topology : investigations into canonical extensions, duality theory and point-free topology | |
MacNeille completion and profinite completion can coincide on finitely generated modal algebras | |
A new version of an old modal incompleteness theorem |