Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate
Domenico Aldo Cantone, Pietro Ursino · arXiv (Cornell University) · 2004
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.