Forcing infinito generalizzato in teoria dei modelli
Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), pp. 125-138.
@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},
     pages = {125--138},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {56},
     year = {1976},
     mrnumber = {469743},
     zbl = {0377.02032},
     language = {it},
     url = {http://archive.numdam.org/item/RSMUP_1976__56__125_0/}
}
TY  - JOUR
AU  - Tulipani, Sauro
TI  - Forcing infinito generalizzato in teoria dei modelli
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1976
SP  - 125
EP  - 138
VL  - 56
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1976__56__125_0/
LA  - it
ID  - RSMUP_1976__56__125_0
ER  - 
%0 Journal Article
%A Tulipani, Sauro
%T Forcing infinito generalizzato in teoria dei modelli
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1976
%P 125-138
%V 56
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1976__56__125_0/
%G it
%F 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://archive.numdam.org/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 | Zbl

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

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

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

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

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

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

[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

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

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

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

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

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

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

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

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