Research
Last updated April 9, 2012
A list of talks I’ve given, together with some handouts for lectures, seminars etc.
Talks
Shore’s computational reverse mathematics
Philosophy and Computation workshop, Lunds universitet, May 13 2012.
Alfred Tarski
History of Logic lecture series, University of Bristol, May 24 2012.
Handouts
An introduction to reverse mathematics
From a presentation given to the internal Bristol logic seminar, December 11 2011.
The compactness and Löwenheim–Skolem theorems
Handout for the Formal Methods Seminar I gave on the compactness and Löwenheim–Skolem theorems, February 9 2012.