ePapers Repository

On the 90-degree-lemma

Klinke, Olaf (2008) On the 90-degree-lemma. On the 90-degree-lemma.



In their technical report “On the bitopological nature of Stone duality” Jung and Moshier axiomatise a bitopological space as a d-frame, which can equivalently be described as a partial frame, a structure with two orders, one being a special Scott domain and the other a complete lattice.
The rich interaction of these two orders arises from a ternary operation on distributive lattices and is informally known as the 90-degree-lemma. Motivation for considering a second order originates in Belnap’s four-valued logic. The infinitary connections of the two orders are based on a set of axioms which are derived from the Stone duality for bitopological spaces. In this paper it is shown that the axioms given by Jung and Moshier contain some previously unknown redundancies. The redundancies yield an isomorphism of two categories, one having special Scott domains as objects and the other a certain type of complete lattice.

Type of Work:Article
School/Faculty:Colleges (2008 onwards) > College of Engineering & Physical Sciences
Department:Computer Science
Date:28 October 2008
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Copyright Holders:University of Birmingham
ID Code:53

Export Reference As : ASCII + BibTeX + Dublin Core + EndNote + HTML + METS + MODS + OpenURL Object + Reference Manager + Refer + RefWorks
Share this item :
QR Code for this page

Repository Staff Only: item control page