A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product

arXiv1902.10511MaRDI QIDQ6314717FDOQ6314717

Authors: Pietro Ursino 

Publication date: 27 February 2019

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.

Mathematics Subject Classification ID

Graph theory (05Cxx) Computability and recursion theory (03Dxx) Set theory (03Exx)

This page was built for publication: A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6314717)