Math 6010 Spring 2014
(back to home)
This is a continuation of last semester, however we will strive to make this semester as self-contained as possible.
The notes we used last semester, and which we will be adding to this semester,
can be found here: determinacy.
Determinacy theory is a powerful extension of
ZF set theory (``ordinary mathematics minus choice'')
which attempts to civilize the definable part of the universe. The resulting theory is critical
to many parts of modern set theory, descriptive set theory, and its applications.
As we go further in the course this semester , we may branch in
different directions possibly including forcing/large cardinals and inner model theory.
We will begin this semester by developing the theory of prewellorderings and scales assuming AD.
We've been trying to keep the backgrouns in descriptive set theory/ logic as minimal as possible.
The following notes on descriptive set theory
may be helpful to those without a previous background in basic (classical) descriptive set theory
descriptive set theory..