Uniform unfolding and analytic measurability

Abstract.

We generalize Solovay's unfolding technique for infinite games and use an Unfolding Theorem to give a uniform method to prove that all analytic sets are in the $\sigma$-algebras of measurability connected with well-known forcing notions.