Otmar Spinas Dominating Projective Sets in the Baire Space. 327-342 1994 68 Ann. Pure Appl. Logic 3 db/journals/apal/apal68.html#Spinas94