|
|
|
|
|
Department of Pure Mathematics
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||
| Wed 11th March 2:30 PM |
Stan Wainer (University of Leeds) Fast Growing Functions and Kruskal's Theorem |
|||
| Please note the change of venue for this seminar: Emmanuel Centre Seminar Room 11 (1.07) | ||||
|
|
||||
| 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 |
|||
|
|
||||
| Wed 21st April 2:30 PM |
Peter Schuster (Leeds University) On paths and points |
|||
|
|
||||
| Wed 28th April 2:30 PM |
Riccardo Bruni (University of Florence, Italy) On theories for quasi-inductive definitions |
|||
|
|
||||
| Wed 5th May 2:30 PM |
John Derrick (Leeds University) What is Set Theory? |
|||
| Please note the change of venue for this seminar: Emmanuel Centre SR 09 (G.14) | ||||
|
|
||||
| Wed 26th May 2:30 PM |
Hannes Diener (Siegen University) Constructions and Constructive Reverse Mathematics |
|||
| Please note the change of venue for this seminar: MALL 2 | ||||
|
|
||||
|
Copyright and Legal |
Accessibility |
Privacy |
Freedom of Information
This page is maintained by Laura Crosilla and Michael Rathjen. |