Topics in set theory,
Mathematics 197, Section 1, Spring 2018

Instructor: Yiannis N. Moschovakis, MS 6240,,
Text: Notes on the theory of sets, NST, and a set of notes for this class, as explained below.
Class meetings: Tuesday, 3:00 - 5:00, in MS 6627, Thursday, 3:00 - 5:00, MS 3915D.

This is a 2-unit UD Seminar which will meet for 5 - 6 weeks. We will start with some results in the theory of ordinals and cardinals and then spend almost all the time on Chapter 10 of NST.
General info. Updated 4/14, read it now.
The notes. This is a dynamic file, it will be regularly updated with additions, comments, etc.
Updated 5/2.
Log. Notes and comments on the material presented in class, and the reading and problem-solving that must be done before the next meeting. Updated 5/2.
Solutions. Check if the solutions you have submitted have been correctly scanned.

sols1, posted 4/24: 2 - 5, 7 - 12, 14, 18 - 20, 23 - 27, 38, 42.
The final project. You should choose a topic and write an "essay" on it; this should be 5 to 10 pages long, written as neatly as possible, and it should be emailed to me in PDF form no later than Sunday, June 3, the end of the 9th week of classes.

The basic aims of this class have been to improve your abilities to understand fairly difficult proofs, construct fairly simple ones and write proofs up in correct and clear English; this project should show that you have made progress in all three of these aims.

Three excellent topics which have been chosen are
  • The remaining material in Chapter 10 of NST, including Suslin's Theorem 10.31.
  • The cofinality function, in Chapters 10 and 12 of NST;
  • Some of the models of ZDC and ZFDC in Appendix B of NST.
You should make appointments and/or email me after May 15 to discuss both the choice of a topic and also what you intend to write about it.