An interpolation theorem

Bulletin of Symbolic Logic

Volumn 6, Issue 4, 2000, Pages 447-462

  Otto, Martin ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Classical model theory; First order logic; Interpolation; Many sorted structures; Preservation and characterisation theorems

Indexed keywords

EID: 0034557458     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/420966     Document Type: Article

References (12)

1. J. BARWISE, A preservation theorem for interpretations, Proceedings of the Cambridge summer school in mathematical logic 1971 (A. Mathias et al., editors), Lecture Notes in Mathematics, vol. 337, Springer-Verlag, 1973, pp. 618-621.
2. J. VAN BENTHEM, Information transfer across Chu spaces, Logic Journal of the IGPL, vol. 8 (November 2000), pp. 719-731.
3. C. C. CHANG and H. J. KEISLER, Model theory, 3rd ed., North-Holland, 1990.
4. W. CRAIG, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, The Journal of Symbolic Logic, vol. 22 (1957), pp. 269-285.
5. S. FEFERMAN, Lectures on proof theory, Proceedings of the summer school in logic, Leeds 67 (M. Löb, editor), Lecture Notes in Mathematics, vol. 70, Springer-Verlag, 1968, pp. 1-107.
6. _, Applications of many-sorted interpolation theorems, Proceedings of the Tarski symposium (L. Henkin et al., editors), AMS Proceedings of Symposia in Pure Mathematics, vol. XXV, American Mathematical Society, 1974, pp. 205-223.
7. _, Ah, Chu!, JFAK. Essays dedicated to Johan ran Benthem on the occasion of his 50th birthday (J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors), Amsterdam University Press, 1999, CD-ROM, see http://turing.wins.uva.nl/j50/cdrom/.
8. J. FLUM, First-order logic and its extensions, Proceedings of the international summer institute and logic colloquium, Kiel 1974 (G. Müller et al., editors), Lecture Notes in Mathematics, vol. 499, Springer-Verlag, 1975, pp. 248-310.
9. W. HODGES, Model theory, Cambridge University Press, 1993.
10. R. C. LYNDON, An interpolation theorem in the predicate calculus, Pacific Journal of Mathematics, vol. 9 (1959), pp. 129-142.
11. N. MOTOHASHI, Two theorems on mix-relativization, Proceedings of the Japan Academy, vol. 49 (1973), no. 3, pp. 161-163.
12. J. STERN, A new look at the interpolation problem, The Journal of Symbolic Logic, vol. 40 (1975), no. 1, pp. 1-13.