Martin, Steel, 1988. Projective determinacy 85.. https://doi.org/10.1073/pnas.85.18.6582