Math 574, Topics in Logic and Foundations
(now Math 596)

Instructor: John Clemens
email: clemens@math.psu.edu
office: 318B McAllister Building

Tentative Syllabus:

The course will cover infinite games and applications to descriptive set theory. We will begin by studying which sorts of games are determined, both under ZFC and under additional hypotheses. We will consider specific games and consequences of determinacy for these games. As time permits, we will consider the relationship between large cardinals and determinacy.

Suggested References:

• Kechris, Classical Descriptive Set Theory
• Moschovakis, Descriptive Set Theory
• Mansfield and Weitkamp, Recursive Aspects of Descriptive Set Theory
• Kanamori, The Higher Infinite

Homework:

1. Homework #1: Postscript or PDF