THE PERIPATETIC SEMINAR ON SHEAVES AND LOGIC

Twenty-first Meeting: Cambridge, 6--7 March 1982

Saturday

10.00: Wim Ruitenburg (Utrecht) Fields for primes

11.30: Dona Strauss (Hull) Separation axioms for frames

14.00: Martin Hyland (Cambridge) Points about products

15.45: Harold Simmons (Aberdeen) ?

Sunday

10.15: Chris Mulvey (Sussex) Non-commutative topology (?)

11.45: Wim Ruitenburg (Utrecht) Orders of propositional operators

12.15: Giuseppe Rosolini (Parma) Pullbacks of locales

Twenty-second Meeting: Louvain-la-Neuve, 22--23 May 1982

Saturday

09.45: Peter Johnstone (Cambridge) Open locales and exponentiation

11.15: Albert Burroni (Paris VII) Algèbres graphiques

14.30: Jean-Luc Moens (Louvain) Fibrations géométriques et théorème de Giraud

15.20: Jacques Penon (Paris VII) Théorème d'inversion locale en géométrie algébrique

16.40: René Guitart (Paris VII) Satellites

Sunday

10.10: René Lavendhomme (Louvain) Le théorème de Feferman--Vaught

11.10: Mambu Mawanda (Louvain) Axiome de choix et finitude

12.10: Edmund Robinson (Cambridge) Recovering the Zariski spectrum from the étale spectrum

Twenty-third Meeting: Cambridge, 13--14 November 1982

Saturday

10.00: Anders Kock (Aarhus) On 1-form classifiers

11.00: John Conway (Cambridge) Universal fraction games

12.00: Francis Borceux (Louvain) Some locales of localizations

14.30: Andy Pitts (Cambridge) The interpolation property in categorical logic

16.00: Gonzalo Reyes (Montréal) Intuitionistic principles in smooth toposes, I

16.45: Ieke Moerdijk (Amsterdam) Intuitionistic principles in smooth toposes, II

Sunday

10.00: Peter Johnstone (Cambridge) Why Kelley wasn't sober

11.00: Jonathan Hoskin (Oxford) Brouwer's theorem in toposes

11.30: Edmund Robinson (Cambridge) The p-adic spectrum