Past Analytic Topology in Mathematics and Computer Science

7 February 2006
16:00
Henk Bruin
Abstract
• Analytic Topology in Mathematics and Computer Science
6 February 2006
17:00
Hilary Priestley
Abstract
• Analytic Topology in Mathematics and Computer Science
23 January 2006
17:00
Abstract
• Analytic Topology in Mathematics and Computer Science
16 January 2006
17:00
Abstract
• Analytic Topology in Mathematics and Computer Science
14 November 2005
15:30
Robin Knight
Abstract
With a theory in a logical language is associated a {\it type category}, which is a collection of topological spaces with appropriate functions between them. If the language is countable and first-order, then the spaces are compact and metrisable. If the language is a countable fragment of $L_{\omega_1,\omega}$, and so admits some formulae of infinite length, then the spaces will be Polish, but not necessarily compact.<br> <br> We describe a machine for turning theories in the more expressive $L_{\omega_1,\omega}$ into first order, by using a topological compactification. We cannot hope to achieve an exact translation; what we do instead is create a new theory whose models are the models of the old theory, together with countably many extra models which are generated by the extra points in the compactification, and are very easy to describe.<br> <br> We will mention one or two applications of these ideas.<br> &nbsp;
• Analytic Topology in Mathematics and Computer Science
7 November 2005
17:00
To be announced
Abstract
• Analytic Topology in Mathematics and Computer Science
31 October 2005
17:00
Professor Boris Zilber
Abstract
• Analytic Topology in Mathematics and Computer Science