Midlands Logic Seminar 2012: Session 6, Thursday 16th February

3.30pm Study group session on Arithmetic and Complexity Theory

Walter Dean (Warwick) will talk about Parson's theorem capturing the provably recursive functions of Sigma-1 induction.

4.45pm Research Seminar "Loeb measure" (Mike Cox, Birmingham)

The nonstandard approach to measure theory is particularly elegant, in particular Lebesgue measure on the unit interval corresponds exactly to finite probability measure in the nonstandard world. More generally the Loeb construction generalises this in a number of important ways. The talk will be an introduction to these matters.


Midlands Logic Seminar 2012