Math 116c. Tuesday, Thursday 2:304:00 pm. 151 Sloan.
Instructor: Andres Caicedo, caicedo at caltech dot edu, 384 Sloan
Office Hours: By appointment
Grader: Todor Tsankov, todor at caltech dot edu, 260 Sloan
Office Hours: Monday 34pm
Math 116 provides an introduction to the basic concepts and results of mathematical logic and set theory. Math 116C will be devoted to set
theory. This is formalized following Cantor’s approach of considering ordinals and cardinals; we will present the ZermeloFraenkel axioms, explain how different mathematical theories can be modelled inside the set theoretic universe, and discuss the role of the axiom of choice. Once these basic settings have been studied, we will present different combinatorial results and describe Gödel’s constructible universe.
Grading Policy: The grade for this course will be based on homework assignments. There will be no exams.
Solutions to homework problems should be written individually, although collaboration is allowed unless otherwise stated. All references used to solve a problem should be explicitly mentioned, including those students you collaborated with. You cannot look up solutions from any source.
No late submissions of solutions are allowed, except for medical problems (note needed from the health center) or serious personal difficulties (note needed from the Deans office).
Please try to solve as many problems as it seems reasonable from each set.
Let me know if you find some problems to be too hard or too easy or to contain mistakes. Feedback is greatly appreciated.
Textbook: There is no required textbook. The following suggested references may be useful:

Set theory for the working mathematician. By K. Ciesielski. Cambridge U. Press (1997), ISBN10: 0521594650 ISBN13: 9780521594653
 Set theory. By A. Hajnal and P. Hamburger. Cambridge U. Press (1999), ISBN10: 052159667X ISBN13: 9780521596671

Set theory. By T. Jech. Springer (2006), ISBN10: 3540440852 ISBN13: 9783540440857

Discovering modern set theory. By W. Just and M. Weese. Vol I. AMS (1995), ISBN10: 0821802666 ISBN13: 9780821802663
Vol II. AMS (1997), ISBN10: 0821805282 ISBN13: 9780821805282 
Problems and theorems in classical set theory. By P. Komjath and V. Totik. Springer (2006), ISBN10: 038730293X ISBN13: 9780387302935

Set theory. An introduction to independence proofs. By K. Kunen. North Holland (1983), ISBN10: 0444868399 ISBN13: 9780444868398

Notes on set theory. By Y. Moschovakis. Springer (2005), ISBN10: 038728723X ISBN13: 9780387287232
Additional references will be provided throughout the course.
[…] there is for example a book by Cohen himself, or look at Kunen’s book mentioned at the beginning of the course. Richard Zach has compiled in his blog a list of papers providing an introduction to […]
[…] 116c: mathematical logic (set theory) – syllabus […]