A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
classification
🧮 math.CO
math.LO
keywords
cartesianunordereddecidabilityproductcombinatorialdescriptionformativegive
read the original abstract
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 has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.