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