Teaching

Bristol

Undergraduate
In the past I have taught: Logic (3rd Year: Propositional and Predicate Calculus, the Gödel Completeness
and First Incompleteness Theorems); these are the lecture notes (unproof read) for this course.


More recently:

M32000 Set Theory. An introductory account of the theory of ordinal and cardinal numbers leading up to the epsilon-recursion theorem, with some discussion of the axioms of set theory.

M1300 Axiomatic Set Theory. An introduction to Constructibility theory, and Gödel's universe L, of constructible sets; the consistency of the Axiom of Choice, and the Generalised Continuum Hypothesis (GCH)

(The latter two courses are also available to enrolled students on Blackboard.)


The 2020-2021 Lectures for both these courses are available on my Youtube Channel.

---------
The following is an introductory chapter on the work of Gödel, principally his work on logic rather than set theory, in the volume:
The History of Philosophical and Formal Logic, Eds. M. Antonutti, A. Malpass, Bloomsbury, June 2017:

Gödel, an Introduction.