The strong Spector-Gandy Theorem for the higher analytical pointclasses

Joan R. Moschovakis, Yiannis N. Moschovakis

Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which i…