Stone duality for bitopological spaces

Add to your list(s) Download to your calendar using vCal

• Achim Jung, University of Birmingham
• Friday 09 March 2007, 14:00-15:00
• FW11.

If you have a question about this talk, please contact Sam Staton.

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.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW11
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.