  The interpretability hierarchy is the collection of all theories (satisfying our three simplifying assumptions) ordered under the relation ≤. We now turn to a discussion of the structure of this hierarchy.