I want to read the proof of projective determinacy. But every proof I could find (martin-steel original, koepke's, the proof in schindler's book, martin's new book) is too long. Are there a simple proof of PD? If there is no such one, then are there a guide line about the idea behind the proof?

1more comment