Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product
arXiv:2101.00198
Abstract
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.
22 pages