[FOM] query about Woodin's 1983 proof of AD^L(R)

Rupert McCallum Rupert.McCallum at acu.edu.au
Thu Dec 9 19:05:54 EST 2010

In his survey article on the continuum hypothesis Hugh Woodin writes "Finally in 1983 I proved the determinacy of all projective sets using large cardinal axioms in a natural hierarchy which begins with the axiom which Martin used to establish the determinacy of all Sigma^1_2 sets."

What is this "natural hierarchy"? Is there a place where one can read Woodin's 1983 proof?

More information about the FOM mailing list