We introduce two essentially undecidable first-order theories WT and T. The intended model for the theories is a term model. We prove that WT is mutually interpretable with Robinson's R. Moreover, we prove that Robinson's Q is interpretable in T.
展开▼