Forcing infinito generalizzato in teoria dei modelli
Tulipani, Sauro
Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), p. 125-138 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1976-01-01
@article{RSMUP_1976__56__125_0,
     author = {Tulipani, Sauro},
     title = {Forcing infinito generalizzato in teoria dei modelli},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {56},
     year = {1976},
     pages = {125-138},
     mrnumber = {469743},
     zbl = {0377.02032},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RSMUP_1976__56__125_0}
}

Tulipani, Sauro. Forcing infinito generalizzato in teoria dei modelli. Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976) pp. 125-138. http://gdmltest.u-ga.fr/item/RSMUP_1976__56__125_0/

[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