Analytic Topology in Mathematics and Computer Science (past)
|
Wed, 21/05/2008 16:00 |
Dona Strauss (Leeds) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 07/05/2008 11:00 |
Aisling McCluskey (Galway) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 05/05/2008 16:00 |
Adrian Mathias (Reunion) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 30/04/2008 16:00 |
Joel Ouaknine (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 05/03/2008 15:00 |
Chris Good (Birmingham) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 27/02/2008 15:00 |
TBA |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 20/02/2008 15:00 |
Gareth Davies (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 13/02/2008 15:00 |
TBA |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 06/02/2008 15:00 |
TBA |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 30/01/2008 15:00 |
Bill Roscoe (Comlab) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 23/01/2008 15:00 |
Mirna Dzamonja (UEA) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 16/01/2008 15:00 |
Rolf Suabedissen (Institute) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Thu, 10/01/2008 10:30 |
Jacob Vosmaer (Amsterdam) |
Analytic Topology in Mathematics and Computer Science |
L3 |
We show that the profinite completion (a universal algebraic
construction) and the MacNeille completion (an order-theoretic
construction) of a modal algebra coincide, precisely when the congruences of finite index of correspond to principal order filters. Examples of such modal algebras are the free K4-algebra and the free PDL-algebra on finitely many generators. |
|||
|
Wed, 21/11/2007 15:00 |
Rolf Suabedissen |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 07/11/2007 15:00 |
Martin Escardo (Birmingham) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 17/10/2007 16:00 |
Ben Chad |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Wed, 10/10/2007 16:00 |
Robin Knight |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 01/10/2007 16:00 |
Udayan Darji (University of Louisville) |
Analytic Topology in Mathematics and Computer Science |
L3 |
| In this talk we discusss some notions of small sets in Polish groups. We give some examples and applications of these notions in analysis and group theory. Moreover, we introduce a new notion of smallness which we call Haar meager sets. This notion coincides with the meager sets in locally compact groups. However, it is strictly stronger in the setting of nonlocally compact groups. We argue that this is the right topological analogue of Christian's Haar null sets. The speaker gratefully acknowledges the support of the LMS under a Scheme 2 Grant. | |||
|
Thu, 30/08/2007 14:00 |
Gavin Hitchcock (Zimbabwe) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Fri, 20/07/2007 15:45 |
Paul Gartside (Pittsburgh) |
Analytic Topology in Mathematics and Computer Science |
L3 |

coincide, precisely when the congruences of finite index of