Return to Article Details Decidability results for classes of purely universal formulae and quantifiers elimination in set theory Download Download PDF