Totally bounded frame quasi-uniformities

summary:This paper considers totally bounded quasi-uniformities and quasi-proximities for frames and shows that for a given quasi-proximity $\triangleleft$ on a frame $L$ there is a totally bounded quasi-uniformity on $L$ that is the coarsest quasi-uniformity, and the only totally bounded quasi-uniformity, that determines $\triangleleft$. The constructions due to B. Banaschewski and A. Pultr of the Cauchy spectrum $\psi L$ and the compactification $\Re L$ of a uniform frame $(L, {\bold U})$ are meaningful for quasi-uniform frames. If ${\bold U}$ is a totally bounded quasi-uniformity on a frame $L$, there is a totally bounded quasi-uniformity $\overline{{\bold U}}$ on $\Re L$ such that $(\Re L, \overline{{\bold U}})$ is a compactification of $(L,{\bold U})$. Moreover, the Cauchy spectrum of the uniform frame $(Fr({\bold U}^{\ast }), {\bold U}^{\ast })$ can be viewed as the spectrum of the bicompletion of $(L,{\bold U})$

Functional transitive quasi-uniformities and their bicompletions

Bibliography: pages 111-117

d-Frames as algebraic duals of bitopological spaces

Achim Jung and Drew Moshier developed a Stone-type duality theory for bitopological spaces, amongst others, as a practical tool for solving a particular problem in the theory of stably compact spaces. By doing so they discovered that the duality of bitopological spaces and their algebraic counterparts, called d-frames, covers several of the known dualities. In this thesis we aim to take Jung's and Moshier's work as a starting point and fill in some of the missing aspects of the theory. In particular, we investigate basic categorical properties of d-frames, we give a Vietoris construction for d-frames which generalises the corresponding known Vietoris constructions for other categories, and we investigate the connection between bispaces and a paraconsistent logic and then develop a suitable (geometric) logic for d-frames