MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Martin and Steel (in 1987?) showed that if there are infinite many Woodin cardinals then every projective set of reals is determined (PD). However, it is mentioned in many texts that in 1983/1984 Woodin proved PD from a very strong large cardinal axiom, I0. It is also said the proof is quite different from Martin-Steel's proof. I would like to know a sketch of Woodin's proof. Thank you.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.