A basic graduate course in model theory and the elements of logic. A first-year graduate course in analysis. Often involves measure and integration. The continuation of 513, this course often involves functional analysis, Banach and Hilbert spaces. This is the advanced graduate analysis course.
Topics vary depending on the instructor.
The spring semester version of 515. Selected topics from the theory of analytic functions of one complex variable. A first-year graduate course in topology. Set theory, topological spaces, connectivity, compactness, separation conditions, and the Tychonoff theorem. The continuation of 523.