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 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.