THE PERIPATETIC SEMINAR ON SHEAVES AND LOGIC

Fifth Meeting: Cambridge, 22--23 January 1977

Friday

16.30: Robert Seely (Cambridge) Exact functors and measurable cardinals

Saturday

10.00: Martin Hyland (Cambridge) Elementary constructive analysis

11.30: Peter Johnstone (Cambridge) On a topological topos

14.00: Chris Mulvey (Sussex) Banach spaces I

15.00: Gavin Wraith (Sussex) Local equivalence of toposes

16.30: Charles Burden (Sussex) Banach spaces II

Sunday

10.00: Martin Hyland (Cambridge) Continuity in spatial topoi

11.30: Jean-Roger Roisin (Louvain) A categorical approach to model theory

Sixth Meeting: Sussex, 19--20 March 1977

Friday

14.15: Dana Scott (Oxford) The strange story of continuous lattices

Saturday

10.00: Robin Grayson (Oxford) Well-orderings

11.30: Jon Zangwill (Bristol) Local set theory

14.00: Peter Johnstone (Cambridge) How to prove Barr's theorem

15.30: Jack Duskin (Buffalo) Towards a non-abelian Kan-Dold-Puppe theorem

Sunday

10.00: Dana Scott (Oxford) J-operators

11.30: Chris Mulvey (Sussex) The spectrum of a commutative C*-algebra

12.30: Richard Lewis (Sussex) Sometimes additive functions

Seventh Meeting: Lille, 4--5 June 1977

Saturday

10.30: Rudolphe Bkouche (Lille) Représentation des algèbres par faisceaux

11.45: Mike Fourman (Clark) Logique d'ordre supérieur dans un topos sans points

15.00: Peter Johnstone (Cambridge) A topos for topologists

16.15: Michel Coste (Paris-Nord) A negative result on lim-theories

16.45: Sabah Fakir (Lille) On differentially closed fields

Sunday

10.30: Yves Diers (Valenciennes) Locally algebraic categories

Eighth Meeting: Cambridge, 12--13 November 1977

Friday

14.15: Anders Kock (Aarhus) Formal differential geometry

17.00: John Kennison (Clark) Integral domain representation and related topics

Saturday

10.00: Rob Goldblatt (Wellington) Grothendieck topology as geometric modality

11.30: Michel Coste (Paris-Nord) The classifying topos for algebraic extensions of a field

14.15: Peter Johnstone (Cambridge) De Morgan's law and

15.15: Chris Mulvey (Sussex) The prime stalk theorem

16.45: Karl Hofmann (Tulane) Continuous Heyting algebras

Sunday

10.00: Anders Kock (Aarhus) Real-closed rings of line type

11.30: Gavin Wraith (Sussex) Relative cohomology of toposes

12.30: Peter Johnstone (Cambridge) When is a topos?