This meeting continues a successful series held in Naples over the last few years, generously funded by Istituto Italiano per gli Studi Filosofici. On this occasion there is additional funding from The British Council, The British Logic Colloquium, the London Mathematical Society and The Royal Society.
Programme
Tuesday 21 March Dr A. Bichara (Roma) Order structure and algebraic varieties; Professor A. Baudisch (Berlin) A new stable group; Dr A.J. Wilkie (Oxford) On the decidability of the real exponential field; Professor L.P.D. van den Dries (Urbana) New o-minimal structures on the real field.
Wednesday 22 March. Dr C.J. Mulvey (Sussex) Pure states of quantales; Professor M. Dalla Chiara (Florence) Quantum MV-algebras - a survey; Dr A. Ekert (Oxford) Quantum computation; Professor Sir Roger Penrose (Oxford) Is mathematical understanding fundamentally non-computable?.
Thursday 23 March. Professor P. Longobardi (Naples) A problem of combinatorial type - finite groups containing many subgroups; Professor M Curzio (Naples) Kernels of congruences of some lattices of subgroups; Professor M. Tallini-Scafari (Roma) Combinatorial questions in infinite linear spaces (now being transferred to become first lecture on the 2 March) - half hour lecture. Dr J. Truss (Leeds) Cycle free partial orders; Dr P.M. Neumann (Oxford) Relations related to semilinear orderings and betweenness.
Friday 24 March. Professor R. Grigolia (Tbilisi) Automorphism groups of free MV-algebras; Professor A. Di Nola (Naples) l-rings and Lukasiewicz logic; Professor R. Cignoli (no title as yet); Dr D. Gluschankoff (Angers) The prime ideal spectrum of a class of l-groups; Dr H. Priestley (Oxford) Duality theory in logic and logic in duality theory.
Saturday 25 March. Informal arrangements. There will be a conference banquet at Merton College on 22 March and a dinner at an Indian restaurant on 24 March.
Further Information. Angus Macintyre (email; ajm@vax.ox.ac.uk)