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.