The following pages link to Jacob Vosmaer (Q541218):
Displayed 7 items.
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116) (← links)
- A View of Canonical Extension (Q3019971) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- Modal Logic and the Vietoris Functor (Q5255794) (← links)
- A new version of an old modal incompleteness theorem (Q5411481) (← links)