Strong Maehara and Takeuti type interpolation theorems for L k,k 2+
Ferro, Ruggero
Rendiconti del Seminario Matematico della Università di Padova, Tome 86 (1991), p. 57-73 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1991-01-01
@article{RSMUP_1991__86__57_0,
     author = {Ferro, Ruggero},
     title = {Strong Maehara and Takeuti type interpolation theorems for $L^{2+}\_{k,k}$},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {86},
     year = {1991},
     pages = {57-73},
     mrnumber = {1154099},
     zbl = {0792.03024},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RSMUP_1991__86__57_0}
}

Ferro, Ruggero. Strong Maehara and Takeuti type interpolation theorems for $L^{2+}_{k,k}$. Rendiconti del Seminario Matematico della Università di Padova, Tome 86 (1991) pp. 57-73. http://gdmltest.u-ga.fr/item/RSMUP_1991__86__57_0/

[1] A. Baldo, Complete interpolation theorems for L2+k,k, Bollettino U.M.I. (6), 2-B (1983), pp. 759-777. | MR 737433 | Zbl 0558.03013

[2] C.C. Chang, Two interpolation theorems, Proceedings of the Rome Conference on Model Theory, Symposia Mathematica, Vol. V, Academic Press, New York (1970), pp. 5-19. | MR 282819 | Zbl 0222.02008

[3] E. Cunningham, Chain models: applications of consistency properties and back-and-forth techniques in infinite quantifier languages, Infinitary Logic: in Memoriam Carol Karp, Springer-Verlag, Berlin (1975), pp. 125-142. | MR 476485

[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 (1976), pp. 121-141. | Numdam | MR 460065 | Zbl 0365.02006

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

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

[7] R. Ferro, ω-soddisfacibilità e teoremi di interpolazione, Atti degli incontri di logica matematica della Scuola di Specializzazione in logica matematica di Siena, Vol. 3, CLEUP, Padova (1987), pp. 187-197. | Zbl 0666.03029

[8] C. Karp, Infinite quantifier languages and ω-chains of models, Proceedings of the Tarski Symposium, American Mathematical Society, Providence (1974). | Zbl 0308.02016

[9] S. Maehara - G. Takeuti, Two interpolation theorem for a positive second order predicate calculus, JSL, 36 (1971), pp. 262-270. | MR 307876 | Zbl 0278.02013

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