Sciweavers

JLP
2008
79views more  JLP 2008»
13 years 11 months ago
A Hofmann-Mislove theorem for bitopological spaces
We present a Stone duality for bitopological spaces in analogy to the duality between topological spaces and frames, and discuss the resulting notions of sobriety and spatiality. ...
Achim Jung, M. Andrew Moshier
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 11 months ago
Logic Column 15: Coalgebras and Their Logics
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
Alexander Kurz
CCA
2005
Springer
14 years 5 months ago
The Dedekind Reals in Abstract Stone Duality
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
Andrej Bauer, Paul Taylor 0002