University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Stone duality for bitopological spaces

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Stone duality for bitopological spaces

Download to your calendar using vCal

  • UserAchim Jung, University of Birmingham
  • ClockFriday 09 March 2007, 14:00-15:00
  • HouseFW11.

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:

Note that ex-directory lists are not shown.

Other lists

Classics Faculty, Room G.21 Waves Group (DAMTP) Room 2 - Mill Lane Lecture rooms Mill Lane, Cambridge, CB2

Other talks

Security Cooperation within Government and between Governments Title to be confirmed Royal Papworth Hospital and Acute Medicine Cambridge AI in Medicine Seminar - July 2026 Shining a light on the origin of supermassive black holes with cosmological simulations Title TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity