一个类第十希尔伯特问题的结果：带无序笛卡尔积 MLS 的可判定性
组合数学
2019-02-28 v1 逻辑
摘要
利用形成过程技术，我从正面解决了带无序笛卡尔积的 MLS 的可判定性问题。此外，对于给定的变量数目，我给出了可满足的带无序笛卡尔积 MLS 公式的纯组合描述。
引用
@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}
}