Introduction to set theory
Mathematics M114S and Philosophy M134, Winter 2020

Instructor: Yiannis N. Moschovakis, MS 6240, ynm@math.ucla.edu, www.math.ucla.edu/~ynm
Teaching Assistant: Derek Levinson, MS 3975, djlevins@math.ucla.edu
Lectures : M - W - F, MS 5137, 12:00 - 12:50
Discussion Section: R, MS 5137, 12:00 - 12:50
Conference Hours of Moschovakis : M : 1:00 - 2:00, W : 1:00 - 2:00, F : 11:00 -12:00
   and by appointment (talk to me after class or send me email)
Conference Hours of Derek: M and W, 10:00 - 11:00.
Contents: Naive set theory, Cantor's basic theorems, the paradoxes; axiomatic set theory, relations and functions, cardinal numbers; the natural numbers, proof by induction and definition by recursion; well orderings, proof by transfinite induction and definition by transfinite recursion; the axiom of choice, cardinal arithmetic; replacement, ordinal numbers and the cumulative hierarchy of sets.
Visit this page often for Homework assignments, the log of lectures, etc.

Basic information          Log of lectures (Updated 3/12)          Homework
Solved first midterm          Solved second midterm
The take-home final from 2010. Similar in form to ours, not exactly the same material.     Solved.
The in-class final from 2018.     Solved.

The final examination     I have now received all your tests---thank you! Solved final
  • The final will be take-home; it will be emailed to students at 5:00 PM on Thursday, March 19
    and it will be due at 5:00 PM on Friday, March 20.
  • The final will be in the form of a booklet, like the 2018 in-class final posted above;
    it will be open book, i.e., you will be allowed to use the textbook and any other notes or sources you want;
    on the other hand, you will not be allowed to get help from anyone in answering the questions in it.
  • You should submit the completed final in PDF form, by attaching it to an email message to me at ynm@math.ucla.edu.

  • We are not allowed to have conference hours; but I will try to respond by email as best I can to any questions you may have,
    and I will post here any answers which may be useful to many students.
  • The final will be based on the material we have covered in Chapters 1 - 9, 11 and 12 of the textbook.
    This does not include the following:
    • 5.30 - 5.33 (Strings);
    • 6.19 - 6.33 (Continuous fixed point theory);
    • 9.23 - 9.26 (Cofinality);
    • 11.36 (the Mostowski Collapsing Lemma).
    It also does not includes a large amount of material which is covered in the Problems at the end of each Chapter.
  • If you are not sure whether some material from the book is or is not covered, write to me, and I will try correct this list as best I can.