Two Dichotomy Theorems
classification
🧮 math.LO
keywords
dichotomylanguagespropertysomeby-productcartesiancomputabledisjoint
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.