Walter Dean (Warwick) will talk about Parson's theorem capturing the provably recursive functions of Sigma-1 induction.
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.