Math 502: Logic and Set Theory.
Instructor: Andres Caicedo.
Contact Information: See here.
Time: MWF 12:40-1:30 pm.
Place: Mathematics/Geosciences building, Room 124.
Office Hours: MW 10:40-11:30 am.
Text: Just, Winfried and Weese, Martin. Discovering Modern Set Theory. Vol I: The Basics. American Mathematical Society (1996).
Contents: Math 502 is intended to provide an introduction to mathematical logic and set theory. I will supply additional notes and references for the material on logic, roughly corresponding to the first five weeks of lecture. We will cover propositional and predicate (first-order) logic, completeness, compactness, and the basic theorems of model theory, before jumping into set theory proper. There, we will study the Zermelo-Fraenkel axioms, including the axiom of choice, with an emphasis on the development of the theory of ordinals and cardinals, and the notion of transfinite recursion. Depending on time, additional topics may be covered.
Grading: Based on homework.
I will use this website to post additional information, and encourage you to use the comments feature. If you leave a comment, please use your full name, which will simplify my life filtering spam out.
A kind of library 