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
Back to the index