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

Domenico Cantone, Pietro Ursino

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…