Applications of formative processes to the decision problem in set theory