Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431076 | The Journal of Logic and Algebraic Programming | 2008 | 7 Pages |
Abstract
The purpose of the paper is to show that there is a dual equivalence between sober Borel spaces and spatial Boolean σ-frames. We show that a discrete space is sober, if and only if, its cardinality is non-measurable and also show that many well known Borel spaces are sober.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics