Sciweavers

SYNTHESE
2008

The many faces of interpolation

13 years 10 months ago
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.
Johan van Benthem
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where SYNTHESE
Authors Johan van Benthem
Comments (0)