Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate

Abstract

In this paper we solve the satisfiability problem of an extended fragment of set computable theory which "forces the infinity" by a fruitful use of the witness small model property and the theory of formative processes.

arXiv commentthis paper has been withdrawn since it has been completely revised