Sets, Relations, and Probability

Lecture 1Lecture 2Lecture 3Lecture 4Lecture 5Strike Cancellations

Set Theory

Lecture 1Lecture 2Lecture 3Lecture 4Lecture 5Lecture 6Lecture 7Lecture 8

Seminar on Decision Theory

Lent 2016Michaelmas 2015



Elements of Bayesian Decision Theory

A detailed introduction to classical Bayesian subjective decision and probability theory including the works of Ramsey, von Neumann &  Morgenstern, Anscombe & Aumann, and Savage.


Incompleteness Results and Provability Logic

This notes reflects the early development of provability logic. It includes an exposition on Gödel’s incompleteness results, the Löb theorem, and the arithmetical completeness theorems of Solovay.