MATH 561: Set Theory I Fall 2001, MWF 8:00-8:50, 113 McAllister, Schedule 826671 Stephen G. Simpson, 333 McAllister, 863-0775, t20@psu.edu This introductory set theory course will be suitable for all mathematics graduate students, and even advanced undergraduates. The only prerequisite is mathematical maturity. The textbook will be Set Theory, by Kenneth Kunen (paperback). Supplementary textbooks will be Set Theory, by Thomas Jech, and Classical Descriptive Set Theory, by Alexander Kechris. Set theory has two aspects. On the one hand, set theory is an interesting branch of mathematics in its own right, and set-theoretic methods have turned out to be extremely useful for attacking a variety of problems in several other branches of mathematics, including analysis, probability, topology, and combinatorics. On the other hand, set theory is of great importance as the common foundation or basis for ALL of mathematics. It is widely accepted that ALL mathematical concepts and structures, in EVERY branch of mathematics, are to be defined and explained in terms of sets, relations on sets, and mappings between sets. Furthermore, a mathematical proof is commonly regarded as correct if and only if it can be formalized within axiomatic set theory. From this foundational or axiomatic point of view, it is particularly exciting to consider how the standard Zermelo/Fraenkel axioms may be supplemented or modified by consideration of additional or alternative set-theoretic axioms. Among these are the Axiom of Choice, the Continuum Hypothesis, the Generalized Continuum Hypothesis, G"odel's Axiom of Constructibility, Martin's Axiom, the Axiom of Determinacy, and the various large cardinal axioms. MATH 561 will provide an introduction to both aspects of set theory, the mathematical and the foundational, with emphasis on the foundational.