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