Lecturer: Dr Adam Epstein
Term(s): Term 2
Status for Mathematics students: List A
Commitment: 30 lectures
Assessment: 3 hour exam 100%
Prerequisites: MA132 Foundations or PH126 Starting Formal Logic. Some exposure to at least one of MA260 Norms, Metrics and Topology, MA222 Metric Spaces, MA359 Measure Theory or PH210 Symbolic Logic is also recommended
Content: Set theoretical concepts and formulations are pervasive in modern mathematics. For this reason it is often said that set theory provides a foundation for mathematics. Here `foundation' can have multiple meanings. On a practical level, set theoretical language is a highly useful tool for the definition and construction of mathematical objects. On a more theoretical level, the very notion of a foundation has definite philosophical overtones, in connection with the reducibility of knowledge to agreed first principles.
The module will commence with a brief review of naive set theory. Unrestricted set formation leads to various paradoxes (Russell, Cantor, Burali-Forti), thereby motivating axiomatic set theory. The Zermelo-Fraenkel system will be introduced, with attention to the precise formulation of axioms and axiom schemata, the role played by proper classes, and the cumulative hierarchy picture of the set theoretical universe. Transfinite induction and recursion, cardinal and ordinal numbers, and the real number system will all be developed within this framework. The Axiom of Choice, and various equivalents and consequences, will be discussed; various other principles also known to be independent of Zermelo-Fraenkel set theory, such as the Continuum Hypothesis and the existence of Inaccessible Cardinals, will be touched on.
- Set Theory, T. Jech (a comprehensive advanced text which goes well beyond the above syllabus)
- Notes on set theory, Y. Moschovakis
- Elements of set theory, H. Enderton
- Introduction to set theory, K. Hrbacek and T. Jech