  These recovery results are not isolated occurrences. The technique used to establish them is known as the core model induction. This technique has been used to show that many other strong theories imply ADL(ℝ). This even holds for theories that are incompatible with one another. For example, consider the following: 