Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-25T18:54:04.335Z Has data issue: false hasContentIssue false
  • English
  • Français

Interpolation theorems for Lk,k2+

Published online by Cambridge University Press:  12 March 2014

Ruggero Ferro
Ruggero Ferro*
Affiliation:
Universita di Padova, 35100 Padova, Italy
Get access Rights & Permissions [Opens in a new window]

Extract

Chang, in [1], proves an interpolation theorem (Theorem I, remark b)) for a first-order language. The proof of Chang's theorem uses essentially nonsimple devices, like special and ω1-saturated models.

In remark e) in [1], Chang asks if there is a simpler proof of his Theorem I.

In [1], Chang proves also another interpolation theorem (Theorem II), which is not an extension of his Theorem I, but extends Craig's interpolation theorem to Lα+,ω languages with interpolant in Lα+,α where α is a strong limit cardinal of cofinality ω.

In remark k) in [1], Chang asks if there is a generalization of both Theorems I and II in [1], or at least a generalization of both Theorem I in [1] and Lopez-Escobar's interpolation theorem in [7].

Maehara and Takeuti, in [8], show that there is a completely different proof of Chang's interpolation Theorem I as a consequence of their interpolation theorems. The proofs of these theorems of Maehara and Takeuti are proof theoretical in character, involving the notion of cut-free natural deduction, and it uses devices as simple as those needed for the usual Craig's interpolation theorem. Hence this can be considered as a positive answer to Chang's question in remark e) in [1].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 43 , Issue 3 , September 1978 , pp. 535 - 549
Copyright
Copyright © Association for Symbolic Logic 1978

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

BIBLIOGRAPHY

[1]Chang, C. C., Two interpolation theorems, Proceedings of the Rome Conference on Model Theory, Symposia Mathematica, vol. V, Academic Press, New York, 1970, pp. 5–19.Google Scholar
[2]Ferro, R., Limits to some interpolation theorems, Rendiconti del Seminario Matematico dell'Universita di Padova, vol. 54 (1975), pp. 201–213.Google Scholar
[3]Ferro, R., Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality, Rendiconti del Seminario Matematico dell' Universita di Padova, vol. 55 (1976), pp. 123–141.Google Scholar
[4]Garland, S. J., Generalized interpolation theorems, this Journal, vol. 37 (1972), pp. 343–351.Google Scholar
[5]Karp, C., Infinite quantifier languages and ω-chain of models, Proceedings of the Tarski Symposium, American Mathematical Society, Providence, 1974, pp. 225–232.CrossRefGoogle Scholar
[6]Keisler, H. J., Model theory for infinitary languages, North-Holland, Amsterdam, 1971.Google Scholar
[7]Lopez-Escobar, E. G. K., An interpolation theorem for denumerably long sentences, Fundamenta Mathematicae, vol. 57 (1965), pp. 253–272.CrossRefGoogle Scholar
[8]Maehara, S. and Takeuti, G., Two interpolation theorems for a positive second order predicate calculus, this Journal, vol. 36 (1971), pp. 262–270.Google Scholar
[9]Takeuti, G., A determinate logic, Syntax and semantics of infinitary languages, Springer-Verlag, Berlin and New York, 1968, pp. 237–264.CrossRefGoogle Scholar