Can I read A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product on EtoBox?

A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product by Ursino, Pietro is a scholarly article available to read on EtoBox.

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

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.

Author

Ursino, Pietro

Published

2019

Language

EN