I added four texts in foundations that I have used and think are good texts to recommend.
Kunen could arguably go in the advanced section, since its material is sufficiently more difficult than Halmos or Ebbinghaus/Flum/Thomas. However, I believe that a third year math major or sufficiently advanced second year math major at UChicago could navigate Kunen perfectly well, and its contents are foundational enough to modern set theory that they really shouldn't be considered advanced foundations material.
I'm not thrilled to recommend Chang & Keisler; it's an excellent introduction to model theory, but isn't really a good representation of the modern field. I'll ask some colleagues for better recommendations.
I have reworked the summary of Kunen, and added to the summaries for Jech and the Handbook, to include my perspectives and some guidance on the summaries. I may add more for the Handbook.
I added four texts in foundations that I have used and think are good texts to recommend.
Kunen could arguably go in the advanced section, since its material is sufficiently more difficult than Halmos or Ebbinghaus/Flum/Thomas. However, I believe that a third year math major or sufficiently advanced second year math major at UChicago could navigate Kunen perfectly well, and its contents are foundational enough to modern set theory that they really shouldn't be considered advanced foundations material.
I'm not thrilled to recommend Chang & Keisler; it's an excellent introduction to model theory, but isn't really a good representation of the modern field. I'll ask some colleagues for better recommendations.