Carnegie Mellon ContactLinksSite
Department of Mathematical Sciences
About the Department Graduate Programs Undergraduate Program Research & Centers People
Letter of Introduction
Degree Programs
Graduate Courses
Seminars
Admissions
Financial Aid
Past Dissertations

Home

Graduate Courses

21-602 Introduction to Set Theory
12 units

First order definability and the Zermelo-Fraenkel axioms; cardinal arithmetic, ordered sets, well-ordered sets (axiom of choice), transfinite induction, the filter of closed unbounded sets (Fodor, Ulm and Solovay's theorems), Delta systems, basic results in partition calculus (e.g., Ramsey's Theorem and the Erdos-Rado Theorem); small to medium large cardinals; applications to general topology (e.g., Alexandroff's conjecture), and the basic ideas of descriptive set theory. The independence of Suslin conjecture from the usual axioms. Gdel's axiom of constructibility. Time permitting, the Galvin-Hajnal-Shelah inequality will be proved.