THE PERIPATETIC SEMINAR ON SHEAVES AND LOGIC

Ninth Meeting: Sussex, 11--12 March 1978

Saturday

10.15: Peter Johnstone (Cambridge) News from Puerto Rico

11.45: Michel Coste (Paris-Nord) Separably closed morphisms and separable closure

14.00: Chris Mulvey (Sussex) Gelfand duality

15.00: Gavin Wraith (Sussex) Completeness

16.15: Marie-Françoise Coste (Paris-Nord) Generic models of -stable theories

Sunday

10.00: Jacques Parent (Paris-Nord) Galois theory and spectra, I

11.00: John Kennison (Clark) Galois theory and spectra, II

Tenth Meeting: Oxford, 27--28 May 1978

Saturday

10.00: Pieter van Emde Boas (Amsterdam) Connections between modal logic and algorithmic logic

12.00: Mike Fourman (Columbia) Joyal's recent work on the real numbers

14.30: Peter Johnstone (Cambridge) The Gleason cover of a topos

16.00: Chris Mulvey (Sussex) Are there sheaves in the foundations of physics?

Sunday

10.00: Dana Scott (Oxford) p-adic analysis in a topos

11.15: Martin Hyland (Cambridge) Completions of internal metric spaces

12.00: Richard Josza (Oxford) Sheaves and twistors

Eleventh Meeting: Cambridge, 9--10 December 1978

Saturday

10.00: Yves Diers (Valenciennes) Topological spaces, ordered sets and spectra

11.30: Marta Bunge (McGill) Spectra and model companions

14.00: John Bell (L.S.E.) Isomorphism of structures in -toposes

14.45: Michel Coste (Paris-Nord) A coherent topos is spatial iff its category of points is equivalent to an ordered set

15.45: Wilfrid Hodges (Bedford College) Limit reduced products and a problem of Isbell

16.30: Peter Johnstone (Cambridge) Stone-Cech compactification in a topos, I

17.15: Chris Mulvey (Sussex) Stone-Cech compactification in a topos, II

Sunday

10.00: Marie-Françoise Coste (Paris-Nord) The étale-real topos of an algebraic curve

11.30: Gavin Wraith (Sussex) Galois theory and generic automorphisms

12.15: Mike Brockway (Oxford) Relations between an -topos and sheaves over its truth-value algebra