|
Department of Pure Mathematics
Proof Theory Seminar
All lectures will be held on Wednesdays at 2.30 pm in MALL 1, Mathematics Building.
|
Wed 14th October
3:00 PM |
|
Matthew Hendtlass (University of Leeds)
Aspects of constructive dynamical systems
|
|
Please note the change of time/day and venue for this seminar: 3:00 PM Oct 14th Emmanuel Centre SR 14 |
|
Wed 28th October
2:30 PM |
|
Matthew Hendtlass (Leeds University)
Aspects of constructive dynamical systems (II)
|
|
Please note the change of venue for this seminar: Mall 1
|
|
Wed 4th November
2:30 PM |
|
Michael Rathjen (Leeds University)
Reverse Mathematics and Well-Ordering Principles
|
|
Please note the change of venue for this seminar: Mall 1
|
|
Wed 11th November
2:30 PM |
|
MIchael Rathjen (Leeds University)
Reverse Mathematics and Well-Ordering Principles II
|
|
Please note the change of venue for this seminar: Emmanuel Centre SR 09 (G.14)
|
|
Wed 25th November
2:00 PM |
|
Peter Aczel (Manchester University)
Finitary Inductive Definitions in weak set theories
|
|
Please note the change of time/day and venue for this seminar: 2:00 PM Nov 25th Mall 1 |
|
Wed 2nd December
2:30 PM |
|
Peter Schuster (Leeds University)
Unique Solutions. Attempts to Demystify a Mystery
|
|
Wed 20th January
2:30 PM |
|
Laura Crosilla (Leeds University)
Constructive ZF and predicativity I: Foundations
|
|
Wed 27th January
2:30 PM |
|
Laura Crosilla (Leeds University)
Constructive ZF and Predicativity II: the Dedekind Reals revisited
|
|
Wed 3rd February
2:30 PM |
|
Andrew Swan (Leeds University)
Realizability, Automorphisms, and Choice I
|
|
Please note the change of venue for this seminar: Emmanuel Centre SR 09 (G.14)
|
|
Wed 17th February
2:30 PM |
|
Andrew Swan (Leeds University)
Realizability, Automorphisms, and Choice II
|
|
Wed 24th February
2:30 PM |
|
Pedro Francisco Valencia Vizcaino (Leeds University)
Cut Elimination and Geometric Theories I
|
|
Wed 3rd March
2:30 PM |
|
Pedro Francisco Valencia Vizcaino (Leeds University)
Cut Elimination and Geometric Theories II
|
|
Please note the change of venue for this seminar: MALL 2
|
|
Wed 10th March
2:30 PM |
|
Stan Wainer (Leeds University)
Computing Bounds from Proofs in ID(<\omega)
|
|
Wed 17th March
2:30 PM |
|
Stan Wainer (Leeds University)
Independence of Friedman's Miniaturized Kruskal Theorem from \Pi1_1-CA_0
|
|
|
