Skip to main content

MA3H3 Set Theory

Lecturer: Adam Epstein

Term(s): Term 1

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 MA222 Metric Spaces, MA359 Measure Theory or PH210 Symbolic Logic is also recommended

Leads To:

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.

Books:

  • 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

Additional Resources

yr1.jpg
Year 1 regs and modules
G100 G103 GL11 G1NC

yr2.jpg
Year 2 regs and modules
G100 G103 GL11 G1NC

yr3.jpg
Year 3 regs and modules
G100 G103

yr4.jpg
Year 4 regs and modules
G103

Archived Material
Past Exams
Core module averages