MATH 161 Mathematical Logic II

Naive set theory and its limitations (Russell's paradox); construction of numbers as sets; cardinal and ordinal numbers; cardinal and ordinal arithmetic; transfinite induction; axiom systems for set theory, with particular emphasis on the axiom of choice and the regularity axiom and their consequences (such as, the Banach-Tarski paradox); continuum hypothesis.