# Past Analytic Topology in Mathematics and Computer Science

16 January 2008
15:00
Rolf Suabedissen
Abstract
• Analytic Topology in Mathematics and Computer Science
10 January 2008
10:30
Jacob Vosmaer
Abstract
We show that the profinite completion (a universal algebraic construction) and the MacNeille completion (an order-theoretic construction) of a modal algebra $A$ coincide, precisely when the congruences of finite index of $A$ correspond to principal order filters. Examples of such modal algebras are the free K4-algebra and the free PDL-algebra on finitely many generators.
• Analytic Topology in Mathematics and Computer Science
21 November 2007
15:00
Rolf Suabedissen
Abstract
• Analytic Topology in Mathematics and Computer Science
7 November 2007
15:00
Martin Escardo
Abstract
• Analytic Topology in Mathematics and Computer Science
17 October 2007
16:00
Abstract
• Analytic Topology in Mathematics and Computer Science
10 October 2007
16:00
Robin Knight
Abstract
• Analytic Topology in Mathematics and Computer Science
1 October 2007
16:00
Abstract
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.
• Analytic Topology in Mathematics and Computer Science
30 August 2007
14:00
Gavin Hitchcock
Abstract
• Analytic Topology in Mathematics and Computer Science
20 July 2007
15:45
Paul Gartside
Abstract
• Analytic Topology in Mathematics and Computer Science
19 July 2007
14:00
Paul Gartside
Abstract
• Analytic Topology in Mathematics and Computer Science