The many faces of interpolation

We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. Keywords Interpolation, definability, cross-model relations, first-order fragments, meta-theory.

• Type: Journal
• Year: 2008
• Where: SYNTHESE
• Authors: Johan van Benthem
• Keywords: Interpolation, Keywords Interpolation, Open Problems, SYNTHESE 2008