Abstract
A spectral sequence associated with a surjective closed mapping allows one to provide upper bounds for the Betti numbers of a wide class of sets defined by formulas with quantifiers in terms of the Betti numbers of auxiliary sets defined by quantifier-free formulas. A review of the recent development in this direction will be presented