Two Dichotomy Theorems
Logic
2017-03-16 v1
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.
Keywords
Cite
@article{arxiv.1703.04648,
title = {Two Dichotomy Theorems},
author = {Domenico Cantone and Pietro Ursino},
journal= {arXiv preprint arXiv:1703.04648},
year = {2017}
}