You'll want the intersection of T_1 and T_2 to be *complete* as well, or otherwise you get counterexamples. (E.g.: the intersection theory is the theory of linear orders, T_1 is theory of an ordered field, T_2 is Peano arithmetic.)
With completeness it's Robinson's Joint Consistency Theorem.
With completeness it's Robinson's Joint Consistency Theorem.
Comments