Forthcoming Seminars › Seminar Series

Analytic Topology in Mathematics and Computer Science

Wed, 06/06/2012
16:00 		Chris Good (University of Birmingham) Analytic Topology in Mathematics and Computer Science Add to calendar L3
A space that admits all possible orbit spectra of homeomorphisms of uncountable compact metric spaces
Joint work with: Sina Greenwood, Brian Raines and Casey Sherman Abstract: We say a space $ X $ with property $ \C P $ is universal for orbit spectra of homeomorphisms with property $ \C P $ provided that if $ Y $ is any space with property $ \C P $ and the same cardinality as $ X $ and $ h:Y\to Y $ is any (auto)homeomorphism then there is a homeomorphism$ g:X\to X $ such that the orbit equivalence classes for $ h $ and $ g $ are isomorphic. We construct a compact metric space $ X $ that is universal for homeomorphisms of compact metric spaces of cardinality the continuum. There is no universal space for countable compact metric spaces. In the presence of some set theoretic assumptions we also give a separable metric space of size continuum that is universal for homeomorphisms on separable metric spaces.
Wed, 13/06/2012
00:00 		Analytic Topology in Mathematics and Computer Science Add to calendar
Workshop Add to calendar
Research Workshop 1 on 'Duality Theory in Algebra, Logic and Computer Science'.
Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer.This will be dedicated principally to extensions of duality theory beyond zero-dimensional structures and to its application in novel settings. Topics that are likely to feature include duality for bilattice-based structures and associated semantics; extensions to compact Hausdorff spaces, bitopological duality, and duality for continuous data; applications to coalgebraic logic. We shall be seeking two-way interaction between those focused on a particular application and those who are seeking to extend the theory. Keynote speakers will be Mike Mislove and Drew Moshier. Samson Abramsky will be away from Oxford fromJune 12, but we are grateful for his offer to give a talk on June 11. We are also pleased to announce that, through the good offices of Georg Gottlob (Oxford Department of Computer Science), we are able to include within W1 a tutorial lecture on the applications of bilattice semantics to computer science; this will be given by Ofer Arieli.

For any corrections/updates to these listings, please contact seminars [-at-] maths [dot] ox [dot] ac [dot] uk.

Syndicate content