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

## TL;DR

This paper proves the decidability of MLS with unordered Cartesian product using formative processes and provides a combinatorial characterization of satisfiable formulas.

## Contribution

It introduces a new decidability result for MLS with unordered Cartesian product and offers a combinatorial description of satisfiable formulas.

## Key findings

- Decidability of MLS with unordered Cartesian product established.
- A combinatorial characterization of satisfiable formulas provided.
- Method based on formative processes enhances understanding of the problem.

## 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.