arXiv++ Combinatorics

The satisfiability problem for multilevel syllogistic extended with the Cartesian product operator (MLSC) is a long-standing open problem in computable set theory. For long, it was not excluded that such a problem were undecidable, due to its remarkable resemblance with the well-celebrated Hilbert's tenth problem, as it was deemed reasonable that union of disjoint sets and Cartesian product might somehow play the roles of integer addition and multiplication. To dispense with nonessential technical difficulties, we report here about a positive solution to the satisfiability problem for a slight simplified variant of MLSC, yet fully representative of the combinatorial complications due to the presence of the Cartesian product, in which membership is not present and the Cartesian product operator is replaced with its unordered variant. We are very confident that such decidability result can be generalized to full MLSC, though at the cost of considerable technicalities.

We relate the decidability problem for BS with unordered cartesian product with Hilbert's Tenth problem and prove that BS with unordered cartesian product is NP-complete.

Using the technique of formative processes, I solve the decidability problem of MLS with unordered cartesian product in the positive. Moreover I give a pure combinatorial description of the satisfiable MLS with unordered cartesian product-formulas for a given number of variables.

This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment.

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.