activity
20032023
most citedA generalized small model property for languages which force the infinity

3 citations · 3 across the 12 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

math.CO2019

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

Pietro Ursino

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 descripti…