Generalized projections of Borel and analytic sets
For a σ-ideal I of sets in a Polish space X and for A ⊆ , we consider the generalized projection (A) of A given by (A) = x ∈ X: Ax ∉ I, where =y ∈ X: 〈x,y〉∈ A. We study the behaviour of with respect to Borel and analytic sets in the case when I is a -supported σ-ideal. In particular, we give an alternative proof of the recent result of Kechris showing that [ for a wide class of -supported σ-ideals.