1 problem

Let $\Sigma_1$ and $\Sigma_2$ be disjoint signatures, and let ${\mathcal{T}}_1$ and ${\mathcal{T}}_2$ be decidable theories over them. Let ${\mathcal{T}}_1\oplus{\mathcal{T}}_2$ be…