Elementary Set Theory

Textbook & References:

    I mostly follow the structure of the following book:

  • Thomas Jech. Set Theory: The Third Millennium Edition, Revised and Expanded, Part I. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. (2-in-1 printing version of Part I is available here.)

    • For more details, I recommend

  • Karel Hrbacek, Thomas Jech. Introduction to set theory. M. Dekker, New York, 1978.
  • Judith Roitman. Introduction to Modern Set Theory. Pure and applied mathematics. John Wiley & Sons, 1990.
  • Wikipedia (en). https://en.wikipedia.org (set theory)

    • For advanced students, I recommend

  • Kenneth Kunen, Set theory, An introduction to independence proofs. Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Company, 1980.
  • Kenneth Kunen. Set theory, volume 34 of Studies in Logic (London). College Publications, London, 2011.
  • Akihiro Kanamori, The higher infinite. Springer Monographs in Mathematics. Springer-Verlag, Berlin, second edition, 2003.
  • Ralf Schindler. Set theory. Exploring independence and truth. Universitext. Springer, Cham, 2014.

    • Fun materials:

  • Logicomix (122Mb).

Other information:

  • Email: nc.ude.unb
    xyz
    @
    opq
    ihs
  • Teaching assistant: 张书凡（Wed 6:00-9:30pm，教二322）

Updates:

2024-11-26:
  • A sample final from the past.
  • Final: 11.28, 10am-11:40am @ J7-306
2024-11-21:
  • Solutions to takehome midterm and homework 4.1-4.4 are uploaded.
2024-11-14:
  • The rest lecture slides are uploaded.
2024-11-07:
  • Add slide #5.
2024-10-29:
  • Add solutions to homework #4.
2024-10-24:
  • Add slide #4-AD.
2024-10-16:
  • Solutions to the first three homework are uploaded.
  • Take home midterm is on page 33 of Slide #3.
2024-10-15:
  • Slide #4 is uploaded.
2024-09-25:
  • Slide #3 is uploaded.
2024-09-12:
  • Slide #2 is uploaded.
2024-08-26:
  • Class starts. Lecture slides for Week 1 are uploaded. (see Files section).
  • Here is the tex template (GBK, UTF8) for homework.
    The latest CTeX or TeX Live [for Windows], teTeX [for linux], macTeX [for MacOS] are recommended.

Files:

==============

Last modified at