Back to Search
Start Over
The Craig Interpolation Theorem in abstract model theory.
- Source :
- Synthese; Oct2008, Vol. 164 Issue 3, p401-420, 20p, 3 Diagrams, 1 Chart
- Publication Year :
- 2008
-
Abstract
- Abstract  The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such logics is small. [ABSTRACT FROM AUTHOR]
- Subjects :
- MATHEMATICAL logic
MATHEMATICS
SET theory
METAMATHEMATICS
Subjects
Details
- Language :
- English
- ISSN :
- 00397857
- Volume :
- 164
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Synthese
- Publication Type :
- Academic Journal
- Accession number :
- 34453867
- Full Text :
- https://doi.org/10.1007/s11229-008-9357-z