Decidability results for classes of purely universal formulae and quantifiers elimination in set theory.