Two Dichotomy Theorems
Domenico Aldo Cantone, Pietro Ursino · arXiv (Cornell University) · 2017
We introduce the Dichotomy Property, a new property of some languages in Set Computable Theory, in order to explore the expressivity of some languages which are extensions of MLS. By-product we prove undecidability of MLS extended with not ordered cartesian product and disjoint unary union operators.