1 research outputs found
A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
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