@article{RSMUP_1991__85__291_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}, pages = {291--307}, publisher = {Seminario Matematico of the University of Padua}, volume = {85}, year = {1991}, mrnumber = {1142545}, zbl = {0761.03012}, language = {en}, url = {http://archive.numdam.org/item/RSMUP_1991__85__291_0/} }
TY - JOUR AU - Ferro, Ruggero TI - Strong Maehara and Takeuti type interpolation theorems for $L^{2+}_{k,k}$ JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1991 SP - 291 EP - 307 VL - 85 PB - Seminario Matematico of the University of Padua UR - http://archive.numdam.org/item/RSMUP_1991__85__291_0/ LA - en ID - RSMUP_1991__85__291_0 ER -
%0 Journal Article %A Ferro, Ruggero %T Strong Maehara and Takeuti type interpolation theorems for $L^{2+}_{k,k}$ %J Rendiconti del Seminario Matematico della Università di Padova %D 1991 %P 291-307 %V 85 %I Seminario Matematico of the University of Padua %U http://archive.numdam.org/item/RSMUP_1991__85__291_0/ %G en %F RSMUP_1991__85__291_0
Ferro, Ruggero. Strong Maehara and Takeuti type interpolation theorems for $L^{2+}_{k,k}$. Rendiconti del Seminario Matematico della Università di Padova, Volume 85 (1991), pp. 291-307. http://archive.numdam.org/item/RSMUP_1991__85__291_0/
[1] Complete interpolation theorems for L2+k,k, Bollettino U.M.I. (6), 2-B (1983), pp. 759-777. | MR | Zbl
,[2] Two interpolation theorems, Proceedings of the Rome Conference on Model Theory, Symposia Mathematica, Vol. V, Academic Press, New York (1970), pp. 5-19. | MR | Zbl
,[3] 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
,[4] 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. | EuDML | Numdam | MR | Zbl
,[5] Interpolation theorems for L2+k,k, JSL, 53 (1978), pp. 535-549. | MR | Zbl
,[6] Seq-consistency property and interpolation theorems, Rend. Sem. Mat. Univ. Padova, 70 (1983), pp. 133-145. | EuDML | Numdam | MR | Zbl
,[7] ω-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
,[8] Infinite quantifier languages and ω-chains of models, Proceedings of the Tarski Symposium, American Mathematical Society, Providence (1974). | Zbl
,[9] Two interpolation theorem for a positive second order predicate calculus, JSL, 36 (1971), pp. 262-270. | MR | Zbl
- ,[10] Infinitary analogs of theorems from first order model theory, JSL, 36 (1971), pp. 216-228. | MR | Zbl
,