Interpretability formalized
... and for different purposes.
A famous and well known example is an interpretation of hyperbolic geometry in Euclidean geometry (e.g., the Beltrami-Klein model, see, for example,
[Gre96]) to show the relative consistency of non-Euclidean geometry.
Another example, no less famous, is Gödel’s interpret ...