A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
Combinatorics
2019-02-28 v1 Logic
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.
Keywords
Cite
@article{arxiv.1902.10511,
title = {A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product},
author = {Pietro Ursino},
journal= {arXiv preprint arXiv:1902.10511},
year = {2019}
}