The many faces of interpolation |
| |
| Authors: | Johan van Benthem |
| |
| Affiliation: | (1) Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands |
| |
| Abstract: | 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 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
