Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-23T21:03:15.695Z Has data issue: false hasContentIssue false
  • English
  • Français

A new look at the interpolation problem

Published online by Cambridge University Press:  12 March 2014

Jacques Stern
Jacques Stern*
Affiliation:
UniversitÉ Paris VII, 75005 Paris, France
Get access Rights & Permissions [Opens in a new window]

Extract

The original aim of this paper was to show that forcing provided a useful and unifying tool in the model theory of finite and admissible languages. Roughly speaking, any result obtained by a Henkin proof, by Makkai's method or by an omitting type argument can be given an alternative proof via forcing. Finally, instead of giving new proofs of a number of known theorems, we have chosen to focus on the interpolation theorem for many-sorted languages. The main result of this paper is thus a generalization of Feferman's theorems ([2], [3]) with a completely different proof; this was announced in [8] and [9].

For more on forcing techniques in model theory the reader should consult [4] as well as [5]. He should also compare forcing and boolean-valued models developed in [6] for the classical case and in [7] for admissible languages. Throughout the paper familiarity with the standard concepts of model theory is assumed.

The author wishes to express his gratitude to J. L. Krivine and K. McAloon for supervising his work. Thanks are also due to J. P. Ressayre for helpful suggestions and to R. L. Vaught for an interesting discussion on forcing in model theory. Finally, an interesting application has been pointed out by S. Feferman and has been included with his permission.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 40 , Issue 1 , March 1975 , pp. 1 - 13
Copyright
Copyright © Association for Symbolic Logic 1975

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Barwise, J., Infinitary languages and admissible sets, Thesis, Stanford, 1967.Google Scholar
[2]Feferman, S., Lectures on proof theory, Proceedings of the summer school, Leeds, 1967, lecture notes, no. 70, pp. 1–107.Google Scholar
[3]Feferman, S., Persistent and invariant formulas for outer extensions, Compositio Mathematica, vol. 20 (1968), pp. 29–52.Google Scholar
[4]Keisler, H. J., Forcing and the omitting type theorem (to appear).Google Scholar
[5]Krivine, J. L. and McAloon, K., Forcing and generalized quantifiers, Annals of Mathematical Logic, vol. 5 (1973), pp. 199–255.CrossRefGoogle Scholar
[6]Rasiowa, H. and Sikorski, R., The mathematics of metamathematics, Warsaw, 1963.Google Scholar
[7]Ressayre, J. P., Boolean models and infinitary first order languages, Annals of Mathematical Logic, vol, 6 (1974).Google Scholar
[8]Stern, J., Théorèmes d'interpolation obtenus par la méthode du forcing, Comptes Rendus Hebdomadaires des Séances de l'Académic des Sciences. Séries A et B, vol. 275 (1972).Google Scholar
[9]Stern, J., Un théorème général d'interpolation, this Journal, vol. 39 (1974), p. 384 (abstract).Google Scholar