Decidability results for classes of purely universal formulae and quantifiers elimination in set theory
Domenico Aldo Cantone, Vincenzo Cutello, Alberto Policriti · DOAJ (DOAJ: Directory of Open Access Journals) · 1988
A general mechanism to extend decision algorithms to deal with additional predicates is described. The only conditions imposed on the predicates is stability with respect to some transitive relations.