Karp's interpolation theorem for some classes of infinitary languages
Rendiconti del Seminario Matematico della Università di Padova, Tome 82 (1989), pp. 9-23 
@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},
     pages = {9--23},
     year = {1989},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {82},
     mrnumber = {1049582},
     zbl = {0702.03015},
     language = {en},
     url = {https://www.numdam.org/item/RSMUP_1989__82__9_0/}
}
TY  - JOUR
AU  - Baratella, Stefano
TI  - Karp's interpolation theorem for some classes of infinitary languages
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1989
SP  - 9
EP  - 23
VL  - 82
PB  - Seminario Matematico of the University of Padua
UR  - https://www.numdam.org/item/RSMUP_1989__82__9_0/
LA  - en
ID  - RSMUP_1989__82__9_0
ER  - 
%0 Journal Article
%A Baratella, Stefano
%T Karp's interpolation theorem for some classes of infinitary languages
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1989
%P 9-23
%V 82
%I Seminario Matematico of the University of Padua
%U https://www.numdam.org/item/RSMUP_1989__82__9_0/
%G en
%F 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. https://www.numdam.org/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. | Zbl | MR

[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. | Zbl | MR

[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. | Zbl | MR | Numdam

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

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

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

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

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

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

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

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