Personal tools
You are here: Home Events Abstract Archives 2007-2008 Stone Duality for bitopological spaces

Stone Duality for bitopological spaces

Achim Jung University of Birmingham 2pm Friday 7th March 2008 Room 2509, JCMB, King's Buildings Note nonstandard day and time

Samson Abramsky promoted the idea to use Stone duality to connect denotational semantics for programming languages with program logics. He developed a fairly specialised theory that was applicable to so-called Scott-domains (and SFP objects). In joint work with Drew Moshier, we found that the theory becomes much more elegant if carried out for stably compact spaces. More recently, we discovered that our duality (and the resulting logic) can usefully be expressed for bitopological spaces. This sheds new light on the logical set-up but, surprisingly, also on the classical dualities of Stone for Boolean algebras and distributive lattices.

Document Actions