We consider a method of representing projective sets by a particular type of union of Borel sets, assuming AD. We prove a generalization of the theorem that a set is S^ iff it is the union of a>x Borel sets. The Axiom of Determinacy (AD) is always assumed. Theorem 1 (Sierpinski, Solovay, Moschovakis [8, 7D.10]). Let A c com. A is Ej iff A is the union of cox Borel sets. The purpose of this pape...
