Math 574: Topics in Logic and Foundations Spring 2004, MWF 9:05-9:55 AM, 113 McAllister, Schedule 292990 Stephen G. Simpson, 333 McAllister, 863-0775, t20@psu.edu The web page for this course is http://www.personal.psu.edu/t20/courses/math574/. This course is intended for graduate students in mathematical logic. I will carefully introduce a variety of topics which are important in contemporary mathematical logic, but not normally covered in our basic logic sequence, MATH 557-558. Among the topics: - computability in core mathematics - unsolvable problems in core mathematics - Turing degrees (i.e., degrees of unsovability) - basis theorems and absoluteness - combinatorial set theory - ultrapowers - large cardinals - forcing - infinite games and determinacy - models of arithmetic I don't plan to go very deeply into any of these topics. Material will be selected from standard textbooks such as (1) Theory of Recursive Functions and Effective Computability, by Hartley Rogers, (2) Set Theory, by Thomas Jech, (3) Models of Peano Arithmetic, by Richard Kaye.