Presents independence of the axiom of choice and the continuum hypothesis, Souslin's hypothesis, and other applications of the method of forcing. Introduces the theory of large cardinals. Prereq., MATH 6730. Undergraduates need instructor consent.
