Analytic Topology in Mathematics and Computer Science
|
Mon, 31/10/2005 17:00 |
Professor Boris Zilber (M.I., Oxford) |
Analytic Topology in Mathematics and Computer Science  |
L3 |
|
Mon, 07/11/2005 17:00 |
To be announced |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 14/11/2005 15:30 |
Robin Knight (Oxford) |
Analytic Topology in Mathematics and Computer Science |
SR2 |
|
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. 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. We will mention one or two applications of these ideas. |
|||
|
Mon, 14/11/2005 17:00 |
Dona Strauss (Mathematics Dept., University of Hull) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 21/11/2005 17:00 |
James Worrell (Computing Laboratory, Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 28/11/2005 17:00 |
Ronnie Brown (Informatics Dept., University of Bangor) |
Analytic Topology in Mathematics and Computer Science |
L2 |
