Course:

M109, Topics in Mathematical Logic

Instructor:

Jindrich Zapletal

Schedule:

By arrangement

Objective:

The people leaving the class will understand what infinite games are and how they can be used in the study of subsets of the real line. I will prove Borel determinacy (in ZFC) and analytic determinacy (from large cardinals). I will introduce the Axiom of Determinacy and I will discuss its basic consequences and its place in modern mathematics.

Prerequisites:

Everyone familiar with basic notions of abstract mathematics is welcome.

Text:

No book in particular. There are sections on determinacy in T. Jech: Set Theory and A. S. Kechris: I forgot the name. Both of these can be used as your guide through the course. A very extensive treatment is found in Y. Moschovakis: Descriptive Set Theory, but this book goes way beyond what I want to cover in this course and you may experience information overload.

Miscelaneous:

At this point, this is a seriously boring web page. I am still learning it; I promise I will make it more interesting in time.