Authorised by Academic Registrar, April 1996
Objectives On the completion of this subject students will be able to understand Zermelo's theory of types; derive statements (informally) from the axioms; identify the different kinds of partial orderings; apply the rules for addition, multiplication and exponentiation of cardinal numbers, with or without the Axiom of Choice; understand the theory of ordinal numbers; simplify expressions involving ordinal addition, multiplication and exponentiation.
Synopsis Relations, functions (injective, surjective, bijective), operations, equivalences, cardinal numbers, cardinal arithmetic, order types, ordinal numbers. Axiom of choice, Zorn's Lemma, well order theorem. Zermelo-Fraenkel axioms.
Assessment Examinations (1.5 hours): 70% + Assignments: 30%