Parkinson Building Logic at Leeds

People
Research
Seminars
Postgrad
opportunities

Pure
Department

School of
Mathematics

University
of Leeds

Some
outside links

Graduate
courses

Homepage



UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2008

AUTUMN TERM
October 1st

Sergei Tupailo (Tallinn)
Consistency of Strictly Impredicative NF
peter October 8th at 2.30pm in MALL 1 - Joint workshop with the Philosophy Department

2.30pm - Peter Simons (Leeds)
Varieties of Abstractionism

michael
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
tom January 23rd - two talks

2.30pm - George Barmpalias (Wellington, NZ)
Relative Randomness and Cardinality
tom
4pm - Thomas Kent (Siena)
Interpreting True Arithmetic in the Δ20-Enumeration Degrees
aehlig January 30th at 4.30pm

Klaus Aehlig (Swansea)
Proof Notations and Cut-Elimination
jouko 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
martin February 27th

Martin Hyland (Cambridge)
What is the Dialectica Interpretation?
JVT March 5th - POSTPONED

John Tucker (Swansea)
Computability and Experimental Procedures Applied to Physical Systems
philip 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.


Maintained by: Barry Cooper