Tulipani, Sauro
Forcing infinito generalizzato in teoria dei modelli
Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976) , p. 125-138
Zbl 0377.02032 | MR 469743
URL stable : http://www.numdam.org/item?id=RSMUP_1976__56__125_0

Bibliographie

[1] J. Barwise - A. ROBINSON, Completing Theories by Forcing, Annals of Mathematical Logic, 2 (1970), pp. 119-142. MR 272613 | Zbl 0222.02058

[2] C.C. Chang - H.J. Keisler, Model Theory, North Holland, 1973. Zbl 0697.03022

[3] P.J. Cohen, Set Theory and The Continuum Hypothesis, Benjamin, New York, 1966. MR 232676 | Zbl 0182.01301

[4] P. Eklof - G. Sabbagh, Model-completions and modules, Ann. Math. Logic, 2 (1971), pp. 251-295. MR 277372 | Zbl 0227.02029

[5] G. Grätzer, Universal Algebra, Van Nostrand, Princeton, 1966. MR 281674 | Zbl 0182.34201

[6] J. Hirschfeld - W.H. Wheeler, Forcing, Arithmetic, Division Rings, Lecture notes in Math., Springer-Verlag, Vol. 454. MR 389581 | Zbl 0304.02024

[7] H.J. Keisler, Theory of models with generalized atomic formulas, J. Symbolic Logic, 25, No. 1 (1960), pp. 1-26. MR 130169 | Zbl 0107.00803

[8] H.J. Keisler, Forcing and The Omitting Types Themrem, Studies in Model Theory, MAA Studies in Mathematics, Vol. 8, Buffalo, N. Y., 1973, pp. 96-133. MR 337571

[9] P. Lindström, On model-completeness, Theoria (Lund), 30 (1964), pp. 183-196 M.R. MR 179066

[10] S. Maclane, Categories for the Working Mathematician, Springer-Verlag, 1971. MR 354798 | Zbl 0705.18001

[11] A. Robinson, Forcing in Model Theory, Proceedings of the Colloquium on Model Theory, Roma, November 1969. Zbl 0212.01802

[12] A. Robinson, Infinite forcing in model theory, pp. 317-340, in the Proceedings of the second Scandinavian symposium in logic (Oslo, 1970), North-Holland, Amsterdam, 1971. MR 357106 | Zbl 0222.02057

[13] G.S. Sacerdote, Projective model theory and conforcing, to appear. MR 406794 | Zbl 0333.02041

[14] G.S. Sacerdote, Infinite coforcing in model theory, to appear. MR 469747 | Zbl 0314.02062

[15] D. Saracino - V. Weispfenning, Robinson memorial volume, Springer lecture notes, vol. 498. MR 401779

[16] H. Simmons, Companion Theories (Forcing in model theory), Séminaires de Mathématique pure Mensuel, rapport No. 54, Louvain, Janvier 1975. Zbl 0355.02036