MATH 446 -- AXIOMATIC SET THEORY

SPRING 2012



Time and Room: MWF at 2:00 in MTH 0403

Instructor: Professor David W. Kueker
Office: MTH 2105
Phone: (301)405-5159
dwk@math.umd.edu
Office Hours: MW 3:00-3:50 or by appointment

Text: Yiannis Moschovakis. Notes on Set Theory, Second Edition. Springer, 2006.

Description: This course is a thorough introduction to axiomatic set theory. We will cover most of Chapters 1-5, 7-9, and 11-12 in the text. We first discuss Cantor's theory of equinumerosity from a "naïve" (= non-axiomatic) perspective. Since naïve set theory leads to paradoxes, we next introduce axioms about sets. Using the axioms we introduce various set constructions, including ordered pairs, relations, functions, the natural numbers, and arithmetic operations. We then define and study well-ordered sets, introduce the axiom of choice, and look at some of its consequences. Finally we define ordinal and cardinal numbers and arithmetic on them.

Warning: The first five chapters will be covered very rapidly. If you fall behind in the beginning it will be extremely difficult to catch up.

Course Work: There will be regular homework assignments, two one-hour exams, and a two-hour final exam. The homework assignments will be posted on this web page. The homeworks are worth a total of 100 points, the one-hour exams are worth 100 points apiece, and the final is worth 200 points, for a total of 500 points.
Homework Assignments (to be posted):
Homework 1
Homework 2
Homework 3
Homework 4
Homework 5
Homework 6
Homework 7
Homework 8
Homework 9

Exam Review:
Exam 1 Review
Exam 2 Review
Final Exam Review

Sample Exams:
Exam 1
Exam 2
Final Exam

Exam Schedule:
  • Exam 1: Monday 27 Feb
  • Exam 2: Monday 9 April
  • Final Exam: Wednesday 16 May 1:30-3:30

Collaboration on homework: You may freely discuss the homework with others, but the work submitted must be your own, written in your own words.