Haim Judah Otmar Spinas Large cardinals and projective sets. 137-155 1997 36 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s001530050059 db/journals/aml/aml36.html#JudahS97