Decidability results for classes of purely universal formulae and quantifiers elimination in Set Theory