Karp's interpolation theorem for some classes of infinitary languages
Baratella, Stefano
Rendiconti del Seminario Matematico della Università di Padova, Tome 82 (1989), p. 9-23 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1989-01-01
@article{RSMUP_1989__82__9_0,
     author = {Baratella, Stefano},
     title = {Karp's interpolation theorem for some classes of infinitary languages},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {82},
     year = {1989},
     pages = {9-23},
     mrnumber = {1049582},
     zbl = {0702.03015},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RSMUP_1989__82__9_0}
}

Baratella, Stefano. Karp's interpolation theorem for some classes of infinitary languages. Rendiconti del Seminario Matematico della Università di Padova, Tome 82 (1989) pp. 9-23. http://gdmltest.u-ga.fr/item/RSMUP_1989__82__9_0/

[1] C. Chang, Two Interpolation Theorems, Proceedings of the Rome Conference on Model Theory, Symposia Mathematica, vol. V, pp. 5-19, Academic Press, New York, 1970. | MR 282819 | Zbl 0222.02008

[2] E. Cunningham, Chain models for infinite quantifier languages, Ph. D. Thesis, University of Maryland, 1974.

[3] R. Ferro, Interpolation theorems for L2+kk, JSL, 43 (1978), pp. 535-549. | MR 503791 | Zbl 0397.03019

[4] R. Ferro, 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, Rend. Sem. Mat. Univ. Padova, 55 (1978), pp. 121-141. | Numdam | MR 460065 | Zbl 0365.02006

[5] R. Ferro, Seq-consistency property and Cunningham's interpolation theorems, Rend. Sem. Mat. Univ. Padova, 75 (1983), pp. 133-145. | Numdam | MR 742115 | Zbl 0534.03014

[6] J. Gregory, Beth definability in infinitary languages, ISL, 39 (1974), pp. 22-26. | MR 354307 | Zbl 0327.02014

[7] C. Karp, Infinite quantifier languages and ω-chains of models, Proceedings of the Tarsky Symposium, pp. 225-232, Amer. Math. Soc., Providence, 1974. | Zbl 0308.02016

[8] C. Karp, Languages with Expressions of Infinite Length, North Holland, Amsterdam, 1964. | MR 176910 | Zbl 0127.00901

[9] H.J. Keisler, Model Theory for Infinitary Logic, North-Holland, Amsterdam, 1971. | MR 344115 | Zbl 0222.02064

[10] J.I. Malitz, Infinitary analogs of theorems from first-order model theory, JSL, 36 (1971), pp. 216-228. | MR 290943 | Zbl 0232.02037

[11] D. Mundici, Compactness, Interpolation And Friedman's third problem, Ann. Math. Logic, 22 (1982), pp. 197-211. | MR 667227 | Zbl 0495.03020

[12] G. Takeuti, A Determinate Logic, Syntax and Semantics of Infinitary Languages, pp. 237-264, Springer-Verlag, Berlin-New York, 1968. | Zbl 0182.32501