Teaching

** Bristol **

Undergraduate

In the past I have taught: **Logic** (3rd Year: Propositional
and Predicate Calculus, the Gödel Completeness

and First Incompleteness
Theorems); the lecture notes (unproof read) for this are:
here

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.
Current Course Notes **(3rd Year first 6 chapters examinable only)**: here

Course Materials: Handouts; solutions to exercises here.

Part II: Further Topics (This is **not** part of the M32000 course, but is just placed here if you wish to read on to some more advanced or interesting topics.)
here

**M1300 Axiomatic Set Theory**, an introduction to Constructibility theory, and Gödel's universe L, of constructible sets.
Current Course Notes (M.Sci):
here

Course Materials: Handouts; solutions to exercises here.

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

The following is a chapter in a proposed volume on the work of Gödel

** Gödel, an Introduction **,
here:http://www.maths.bris.ac.uk/~mapdw/Goedel-intro-3.pdf