Week 4, 3 February 2014 (16:00-18:00, 52 Pritchatts Road LT1)

4pm Study group: Combinatorial games (Richard Kaye)

I will start things off by describing impartial games, including nim, and will prove the Sprague-Grundy theorem that any impartial game is equivalent to a nim pile. I hope also to show how to perform nim addition on nim piles (also called nimbers) and will apply this to impartial versions of Hackenbush. (The Berlekamp-Conway-Guy theory presented in Winning Ways and ONAG extends this theory for impartial games by considering so-called partizan games in which the two players - called Left and Right - may have different moves available at any time. I will be looking for a volunteer for week 5 to describe partizan Hackenbush and some of the numbers that arise - this will follow chapter1 in Winning ways , 1st ed.)

Alex Jones (Birmingham)

Title: Truth, Collection and Deflationism in Models of Peano Arithmetic


I will present some of the results and ideas from my thesis on Truth, Collection and Deflationism in Models of Peano Arithmetic and satisfaction classes. 4pm.

About the seminar

The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science and philosophy of mathematics.


All meetings for Term 2, 2014-15 will be Tuesday from 16:00-18:00 in room LT1, 52 Pritchatts Road on the campus of the University of Birmingham.
  • campus map
  • google maps
    To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).


    Dr Richard Kaye
    School of Mathematics
    University of Birmingham


    Dr Walter Dean
    Department of Philosophy
    University of Warwick