---
title: Research
updated: 2012-04-09
---
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.
[Shore's computational reverse mathematics]: /files/comprm-slides.pdf
[Philosophy and Computation]:
http://www.fil.lu.se/conferences/conference.asp?id=51
[History of Logic]:
http://www.bris.ac.uk/philosophy/department/events/historyoflogic
[Formal Methods Seminar]:
http://eis.bris.ac.uk/~rp3959/Richard_Pettigrews_homepage/Formal_Methods.html
[An introduction to reverse mathematics]: /files/rm-handout-2011.pdf
[The compactness and Löwenheim--Skolem theorems]:
/files/compactness-lowenheim-skolem-2012.pdf