School of Mathematics

Academic centre:

Department of Pure Mathematics

Proof Theory seminar

All seminars will be held on Wednesdays at 2.30 pm in MALL 2, Mathematics Building.

Forthcoming seminars

To be announced.

Past seminars


Wed 7th December, 2011 3:00 PM		Davide Rinaldi (LMU Munich and Leeds) Krull Dimension of Distributive Lattices

Wed 7th December, 2011 2:15 PM		Michael Rathjen (Leeds University) LLPO and LPO in intuitionistic set theories

Wed 23rd November, 2011 2:30 PM		Peter Schuster (Leeds University) Induction in Algebra: a toy example

Wed 16th November, 2011 2:30 PM		Andrew Swan (Leeds University) The Uniform Fullness Property

Wed 2nd November, 2011 2:30 PM		Hajime Ishihara (JAIST) Generalized geometric theories and set-generated classes

Wed 26th October, 2011 3:00 PM		Marco Benini (Leeds University) Adgrams: categories and linguistics

Wed 12th October, 2011 3:00 PM		Jacob Cook (Leeds University) Measuring the Strength of Arithmetic Theories

Wed 5th October, 2011 2:30 PM		Michael Rathjen (Leeds University) Beta models and functors

Wed 29th June, 2011 2:00 PM		Takako Nemoto (Bern University) A system of explicit mathematics and $\Pi_3$ reflection

Wed 4th May, 2011 2:00 PM		Michael Rathjen (Leeds) The Existence Property for Intuitionistic Set Theories

Wed 23rd February, 2011 2:00 PM		Peter Schuster (Leeds) Open Induction in Algebra

Wed 13th October, 2010 3:15 PM		Michael Rathjen (University of Leeds) The weak existence property

Wed 13th October, 2010 2:00 PM		Nicola Gambino (University of Palermo) Identity types and groupoids