Advanced topics in modern logic; e.g. large cardinals, infinitary logic, model theory of fields, o-minimality, Borel equivalence relations. Course Information: Same as MATH 512. May be repeated. Students may register in more than one section per term. Prerequisite(s): Approval of the department.