School of Mathematics

Department of Pure Mathematics

Logic seminar

Spring 2012

All seminars, except where otherwise indicated, will be at 4pm in the Mathematics Active Learning Lab (MALL), 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.

 

To be announced.

 

Wed 4th April, 2012 4:00 PM		Benno van den Berg (Utrecht) TBA
Wed 21st March, 2012 4:00 PM		Alena Vencovská (Manchester) TBA
Wed 7th March, 2012 4:00 PM		Helmut Schwichtenberg (Munich) TBA
Wed 7th March, 2012 4:00 PM		Helmut Schwichtenberg (Munich ) Proofs and Computations
Wed 22nd February, 2012 4:00 PM		Anand Pillay (Leeds) TBA
Wed 22nd February, 2012 4:00 PM		Anand Pillay (Leeds) First order theories
Wed 15th February, 2012 4:00 PM		Peter Schuster (Leeds) TBA
Wed 25th January, 2012 4:00 PM		Angsheng Li (Beijing) Local Theory of Networks: Principles, Methods and Experiments
Wed 23rd November, 2011 4:00 PM		Andy Lewis (Leeds) The typical Turing degree
Wed 16th November, 2011 4:00 PM		Michael Rathjen (Leeds) Ideal elements and the quest for consistency
Wed 9th November, 2011 4:30 PM		Amador Martin Pizarro (Lyon ) Morley's theorem and geometric model theory.
Wed 2nd November, 2011 4:00 PM		Hajime Ishihara (JAIST) Some conservative extension results of classical logic over intuitionistic logic
Wed 2nd November, 2011 4:00 PM		Hajime Ishihara (JAIST) Some conservative extension results of classical logic over intuitionistic logic
Wed 26th October, 2011 4:00 PM		Alexandra Omar Aziz (University of Leeds) Stable type-definable groups.
Wed 4th May, 2011 4:00 PM		Dirk van Dalen (Utrecht University) A Survey of Choice Sequences
Wed 27th April, 2011 4:00 PM		Klaus Ambos-Spies (University of Heidelberg) Strongly Bounded Turing Reducibilities and Computably Enumerable Sets
Wed 23rd March, 2011 4:00 PM		Ian Hodkinson (Imperial College, London) Axiomatising the Modal Logic of Affine Planes
Wed 16th March, 2011 4:00 PM		Justus Diller (Munster) Functional Interpretations of Classical and Constructive Set Theory
Wed 2nd March, 2011 4:00 PM		Bahareh Afshari (Edinburgh) and Graham Leigh (Oxford) Bahareh Afshari: The Decidability Problem for the \mu-Calculus Alternation Hierarchy. Graham Leigh: Axiomatising Truth in Intuitionistic Logic
Wed 23rd February, 2011 4:00 PM		Martin Escardo (University of Edinburgh) When can we effectively decide universal quantifications?
Wed 16th February, 2011 4:00 PM		Jonathan Kirby (University of East Anglia) Exponential Fields and (non-) Model Completeness
Wed 8th December, 2010 4:00 PM		Paulo Oliva (Queen Mary, University of London) The Theory of Selection Functions
Wed 1st December, 2010 4:00 PM		Davide Penazzi (University of Leeds) Hyperdefinable groups and internality in real closed valued fields
Wed 24th November, 2010 4:00 PM		Peter Aczel (University of Manchester) What is a set?
Wed 10th November, 2010 4:00 PM		David Evans (University of Oxford) Matroid theory and the Hrushovski constructions
Wed 3rd November, 2010 4:00 PM		Chris Calude (University of Auckland) Is Quantum Randomness Pseudo-Randomness?
Wed 27th October, 2010 4:00 PM		Angus MacIntyre (Queen Mary, University of London) Issues around proving Fermat's Last Theorem in First-Order Peano Arithmetic
Wed 20th October, 2010 4:00 PM		Richard Elwes (University of Leeds) An amateur's view of Concrete Incompleteness and recent results of Harvey Friedman
Wed 6th October, 2010 4:00 PM		Jonathan Pila (University of Oxford) O-minimal structures and certain diophantine problems