UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2008

AUTUMN TERM
October 1st Sergei Tupailo (Tallinn) Consistency of Strictly Impredicative NF
October 8th at 2.30pm in MALL 1 - Joint workshop with the Philosophy Department 2.30pm - Peter Simons (Leeds) Varieties of Abstractionism 3.50pm - Michael Rathjen (Leeds) Contemporary Perspectives on Hilbert's Second Problem and the Gödel Incompleteness Theorems
October 15th at 4.30pm Jaap van Oosten (Utrecht) Partial Combinatory Algebras and Dialogues
October 22nd in Roger Stevens LT13 (10.13) Elliott Spoors (Leeds) A Hierarchy of Ramified Theories Below Primitive Recursive Arithmetic
October 29th Alex Wilkie (Manchester) Some Complex Analysis for Polynomially Bounded o-Minimal Structures
November 5th Morteza Moniri (Tehran and Leeds) Kripke Model Theory
November 12th in Roger Stevens LT 11 (10.11) Martin Dyer (Leeds) The Complexity of Counting Homomorphisms
November 19th - Joint Seminar with the Leeds Quantum Information Group Bob Coecke (Oxford) Where QUANTUM meets LOGIC
November 26th Alex Simpson (Edinburgh) The Locale of Random Sequences
December 3rd - two talks 2.30pm Bahareh Afshari (Leeds) Reverse Mathematics of the ε-Operation 4pm - Dugald Macpherson (Leeds) Pseudofinite Structures
December 10th - CANCELLED Stephan Kreutzer (Oxford) Computing Excluded Minors

All seminars, except where otherwise indicated, will be at 4pm in the Mathematics Active Learning Lab 1 (MALL 1), Level 8 of the School of Mathematics. Tea at 3.30 pm in the Staff Common Room, School of Mathematics - all welcome.

Seminar organiser - Andrew Lewis

SUMMER TERM
April 23rd Benedikt Löwe (Amsterdam) Hierarchies of Sets and Functions Defined by Games
Friday May 2nd at 2.30pm in Roger Stevens LT 06 Adrian Mathias (Réunion) Rudimentary Recursion, Provident Sets and Forcing
May 7th at 5.00pm Ioanna Dimitriou (Bonn) Löwenheim-Skolem Type Properties in Choiceless Set Theory
Monday, May 12th at 4pm Solomon Feferman (Stanford) Operational Set Theory and 'Small' Large Cardinals
Tuesday, May 13th at 2pm - Joint Philosophy/ History and Philosophy of Science/ Logic Seminar Anita Burdman Feferman The Truth About Tarski
Tuesday, May 13th at 4pm - THE 2008 LÖB LECTURE Solomon Feferman (Stanford) Gödel, Nagel, Minds and Machines Bahareh's photos from the May 13 seminars
May 14th - POSTPONED Alex Simpson (Edinburgh) tba
May 21st Felix Costa (Swansea/Lisbon) Oracles and Advices as Measurements in Physics
July 16th Hristo Ganchev (Sofia) On the Structure of the Omega-Enumeration Degrees

SPRING TERM
January 23rd - two talks 2.30pm - George Barmpalias (Wellington, NZ) Relative Randomness and Cardinality 4pm - Thomas Kent (Siena) Interpreting True Arithmetic in the Δ20-Enumeration Degrees
January 30th at 4.30pm Klaus Aehlig (Swansea) Proof Notations and Cut-Elimination
February 6th Jouko Väänänen (Amsterdam/Helsinki) Interpolation in Abstract Model Theory
February 13th at 4.30pm Marcus Tressl (Manchester) Continuous Functions With a View Towards o-Minimal Structures
February 20th Franck Benoist (Leeds) Definability in Hasse Differential Fields and Related Geometric Questions
February 27th Martin Hyland (Cambridge) What is the Dialectica Interpretation?
March 5th - POSTPONED John Tucker (Swansea) Computability and Experimental Procedures Applied to Physical Systems
March 12th at 4.30pm Philip Welch (Bristol) Transfinite Computation and a problem of Richter
March 19th Andrew Lewis (Leeds) On the Degree Spectrum of a Π10 Class

Past logic seminars - 2007, 2006, 2005, 2004, 2003, 2001, 2000, 1999, 1998

---

Other Seminars

As well as the regular Logic Seminar, there are various occasional seminars associated with individual research subgroups, some of these held jointly with the Manchester logicians.

Computability Seminar	Model Theory Seminar	Proof Theory Seminar/ LAMPASS	Seminars

There are also seminars of interest to logicians held within the Computer Science and Philosophy departments. See, for instance, the History and Philosophy of Science (HPS) Seminar Programme, the Philosophy Seminar Programme, and the Informatics Network Seminars. The Logic and Language Discussion Group webapage has links to a range of philosophy seminars of possible interest to mathematicians, including the Centre for Metaphysics and Mind Seminar Series. The

Pure Postgraduate Seminar

also features talks of interest to logicians.