  The projective sets of reals (or sets of k-tuples of reals) are obtained by starting with the closed subsets of (ωω)k and iterating the operations of complementation and projection. For A ⊆ (ωω)k, the complement of A is simply (ωω)k − A. For A ⊆ (ωω)k+1, the projection of A is 