 The Interpolation Theorem, which according to Wilfrid Hodges has “the longest pedigree of any theorem of model  theory”,[30]  plays a relevant role in logic. In the first place, several important results such us Beth’s definability theorem and Robinson theorem could be obtained directly from it (see the entry  first-order model theory).  In the second place, interpolation can be seen as a central logical property which “has been used to reveal a deep harmony between syntax and semantics” (Feferman 2008: 341).