UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2006

AUTUMN TERM
September 13th Felix Costa (Lisbon) A Kleene's Theory of Real Valued Functions
October 4th Victor Selivanov (Novosibirsk/Würzburg) Theoretical computer science oriented variations on the Wadge reducibility
October 11th Alexandre Borovik (Manchester) Permutation groups of finite Morley rank
October 18th Monika Seisenberger (Swansea) Program Extraction from proofs: Theory and Practice
October 25th Annelies Gerber (Paris) Mathematical models for propositional proof systems and complexity
November 1st Andrew Duncan (Newcastle) Tarski's conjectures and equations in groups
November 8th Achim Jung (Birmingham) On the bi-topological nature of Stone Duality
November 15th Bahareh Afshari (Leeds) Post's Programme for the Ershov Hierarchy
November 22nd Assaf Hasson (Oxford) Some open questions concerning Hrushovski's amalgamation constructions and the classification of strongly minimal geometries
December 6th - two seminars: 2.30pm in room G Alex Wilkie (Oxford) Adding a multiplicative group to a polynomially bounded structure
4.15pm in room H Philip Welch (Bristol) The Inner Model Hypothesis

All lectures - unless indicated otherwise - will be held on Wednesdays at 4 pm in room H, Mathematics building. Tea at 3.40 pm in the Staff Common Room - all welcome.

Seminar organiser - Michael Rathjen

SUMMER TERM
April 26th Gerhard Jäger (Bern) Remarks on operational set theory
May 10th 2pm - Paul Taylor (Manchester) Computable Real Analysis without Set Theory or Turing Machines
4pm - Vadim Puzarenko (Novosibirsk) Computability over Admissible Sets
July 12th Alexandra A. Soskova (Sofia) Degree Spectra of Structures Copy of slides (pdf file)

SPRING TERM
Friday January 13th, 2pm in Maths. Classroom G Thomas Scanlon (U.C. Berkeley) Solution of Pop's Conjecture
February 1st Anand Pillay (Leeds) Model theory - pure and applied
February 8th Jeffrey Burdges (Manchester and Lyon) Genericity arguments in connected groups of finite Morley rank
February 15th Andreas Weiermann (Utrecht) The Ackermann function in finite combinatorics
February 22nd Jonathan Kirby (Oxford) Using model theory to solve equations
March 1st Robert Lubarsky (Florida Atlantic University) Dedekind and Cauchy Reals in Intuitionistic Set Theories
March 15th Barry Cooper (Leeds) A Logical Overview of Natural Computation
March 22nd John Truss (Leeds) Some homogeneous and partially homogeneous structures

Wednesday March 8th SIGLaC half-day meeting on Mathematical Aspects of Computation with speakers Alan Selman and others 1.30--5.00pm in the Staff Meeting Room, Room 9.31, School of Computing 1.00pm Welcome and Buffet Lunch, 3.30pm Tea/Coffee

Past logic seminars - 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

Pure Postgraduate Seminar

also features talks of interest to logicians.