# Past Analytic Topology in Mathematics and Computer Science

30 April 2008
16:00
Joel Ouaknine
Abstract
• Analytic Topology in Mathematics and Computer Science
5 March 2008
15:00
Chris Good
Abstract
• Analytic Topology in Mathematics and Computer Science
27 February 2008
15:00
TBA
Abstract
• Analytic Topology in Mathematics and Computer Science
20 February 2008
15:00
Gareth Davies
Abstract
• Analytic Topology in Mathematics and Computer Science
13 February 2008
15:00
TBA
Abstract
• Analytic Topology in Mathematics and Computer Science
6 February 2008
15:00
TBA
Abstract
• Analytic Topology in Mathematics and Computer Science
30 January 2008
15:00
Bill Roscoe
Abstract
• Analytic Topology in Mathematics and Computer Science
23 January 2008
15:00
Mirna Dzamonja
Abstract
• 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