21-229 Set Theory
Rami Grossberg (Rami@cmu.edu)
MWF 12:30-1:20PM SH 224

9 Units

Purpose: The intention of this course is to introduce the basic concepts and facts of set theory. Set theory was invented about 125 years ago by George Cantor, as an instrument to understand infinite objects. Since than set theory play an important role in several branches of modern mathematics, and serves as a foundation of mathematics.

Contents: Relations and functions, the axioms of Zermelo Fraenkel set theory, basic properties of natural numbers, Peano Axioms, countable and uncountable sets, construction of the real numbers, some basic facts about the topology of the real line (among them characterizing the isomorphism type of the reals as an ordered set, perfect sets, and the Cantor-Bendixson derivative), cardinal numbers and cardinal arithmetic, the continuum hypothesis, well-ordered sets, ordinal numbers and transfinite induction, the axiom of choice, Zorn's lemma. If time permits will discuss some of the following topics: Infinitary combinatorics, filters and large cardinals, Borel and analytic sets of reals.

Level: The course will begin at an elementary level, the only prerequisite is 21-127 (Intro. to modern math), or instructor's permission.

Text: "Introduction to set theory" by K. Hrbacek and T. Jech. Published by Marcel Dekker Inc. price comparison.

Office Hours: Extended office hours: Monday from 2-4PM. Please feel free to come to talk to me anytime or make an appointment.

Test Dates: FIrst test: On Monday 2/28/00 instead the lecture. The second test will be announced.

Evaluation: There will be two one hour tests (in class), weekly assignments (will be collected in class on every Wednesday), and a three hour final. The final will cover all the course material. These will be weighted as follows:

Set Theory homework.

Rami's home page.