Midlands Logic Seminar 2012
The seminar is at Birmingham University. We meet in 221 Watson Building
for tea from 3pm to 3.30pm and formal sessions are in room 222 next door.
Directions for getting to Birmingham and links to campus maps are
HERE.
Where indicated, PDFs of slides, or other supporting documents
may be found by following the link.
Programme for Spring/Summer 2012
The theme is "Arithmetic and Complexity Theory". There will be
regular study groups on the theme and research seminars which may or
may not be linked to this theme.
- 12th January 2012. Double study group session:
arithmetic and complexity.
- 19th January 2012. Study group session
on complexity followed by research Seminar by Mike Cox on "Topological
Set Theory".
- 26th January 2012. Study group session
on arithmetic/complexity followed by research Seminar by Thomas Forster
(Cambridge) on "The Theory of Negative Types, a survey/tutorial".
- 2nd February 2012. Study group session
on descriptive complexity (Sean Walsh, London)
followed by research Seminar by Alan Reading (Birmingham)
on "Analogues of Measurability in models of arithmetic".
- 9th February 2012. Study group session
on descriptive complexity (Richard Kaye, Birmingham)
followed by research Seminar by Graham Leigh (Oxford)
on "From Semantics to Syntax: Searching for a theory of truth".
- 16th February 2012. Study group
session on Parsons theorem and capturing functions from provability
(Walter Dean, Warwick) followed by research Seminar by Mike Cox
(Birmingham) on "Loeb Measure".
- 23rd February 2012. Study group
session on a model-theoretic approach to Parsons' theorem and
Buss's theorem, capturing functions from provability
(Richard Kaye, Birmingham) followed by research Seminar by Sean Walsh
(Birkbeck) on "Abstraction Principles and Theories of Arithmetic".
- 1st March 2012. Double study group
session: Alan Reading on Preservation Theorems and
Richard Kaye on Witnessing theorems with applications.
- 8th March 2012. Study group
session: Mike Cox on the Linear Time hierarchy.
Research Seminar: David Miller (Warwick) "The Non-classical side of classical logic". (Text of talk and more available by following
the link.)
- 15th March 2012. Study group
session: Mike Cox on the Linear Time hierarchy (continued).
seminar: Richard Kaye (and Alain Hurst) "Networks of finite state machines".
- 22nd March 2012. Nigel Cutland (York)
"Stochastic Navier-Stokes equations: ideas and results using
nonstandard analysis." (Text of talk and more available by following
the link.)
- Tuesday 3rd April 2012.
Stephen West (Birmingham): "What is practically computable?"
(Text of talk and more available by following the link.)
and Pavel Pudlák (Prague): "Randomness, pseudorandomness and models of arithmetic".
- Monday 25th June 2012.
Peter Cholak (Notre Dame): "Sigma^0_2 bounding and reverse mathematics
of Ramsey's theorem for pairs with two colors". (Text of talk available
by following the link.)
The original announcement with further details and
plans for the remaining sessions is HERE.
Contact details
Richard Kaye
School of Mathematics
The University of Birmingham
Edgbaston
Birmingham, B15 2TT, U.K., Fax: +44 121 414 3389
or email at R.W.Kaye AT bham.ac.uk or rwkaye AT gmail.com