Analytic Topology in Mathematics and Computer Science (past)

Wed, 07/05/2008
11:00
Aisling McCluskey (Galway) Analytic Topology in Mathematics and Computer Science Add to calendar L3
Wed, 20/02/2008
15:00
Gareth Davies (Oxford) Analytic Topology in Mathematics and Computer Science Add to calendar L3
Thu, 10/01/2008
10:30
Jacob Vosmaer (Amsterdam) Analytic Topology in Mathematics and Computer Science Add to calendar L3
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.
Mon, 01/10/2007
16:00
Udayan Darji (University of Louisville) Analytic Topology in Mathematics and Computer Science Add to calendar 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.
Syndicate content