Forcing infinito generalizzato in teoria dei modelli

Sauro Tulipani

Rendiconti del Seminario Matematico della Università di Padova (1976)

  • Volume: 56, page 125-138
  • ISSN: 0041-8994

How to cite

top

Tulipani, Sauro. "Forcing infinito generalizzato in teoria dei modelli." Rendiconti del Seminario Matematico della Università di Padova 56 (1976): 125-138. <http://eudml.org/doc/107604>.

@article{Tulipani1976,
author = {Tulipani, Sauro},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
language = {ita},
pages = {125-138},
publisher = {Seminario Matematico of the University of Padua},
title = {Forcing infinito generalizzato in teoria dei modelli},
url = {http://eudml.org/doc/107604},
volume = {56},
year = {1976},
}

TY - JOUR
AU - Tulipani, Sauro
TI - Forcing infinito generalizzato in teoria dei modelli
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1976
PB - Seminario Matematico of the University of Padua
VL - 56
SP - 125
EP - 138
LA - ita
UR - http://eudml.org/doc/107604
ER -

References

top
  1. [1] J. Barwise - A. ROBINSON, Completing Theories by Forcing, Annals of Mathematical Logic, 2 (1970), pp. 119-142. Zbl0222.02058MR272613
  2. [2] C.C. Chang - H.J. Keisler, Model Theory, North Holland, 1973. Zbl0697.03022
  3. [3] P.J. Cohen, Set Theory and the ContinuumHypothesis, Benjamin, New York, 1966. Zbl0182.01301MR232676
  4. [4] P. Eklof - G. Sabbagh, Model-completions and modules, Ann. Math. Logic, 2 (1971), pp. 251-295. Zbl0227.02029MR277372
  5. [5] G. Grätzer, Universal Algebra, Van Nostrand, Princeton, 1966. Zbl0182.34201MR281674
  6. [6] J. Hirschfeld - W.H. Wheeler, Forcing, Arithmetic, Division Rings, Lecture notes in Math., Springer-Verlag, Vol. 454. Zbl0304.02024MR389581
  7. [7] H.J. Keisler, Theory of models with generalized atomic formulas, J. Symbolic Logic, 25, No. 1 (1960), pp. 1-26. Zbl0107.00803MR130169
  8. [8] H.J. Keisler, Forcing and the OmittingTypes Themrem, Studies in Model Theory, MAAStudies in Mathematics, Vol. 8, Buffalo, N. Y., 1973, pp. 96-133. MR337571
  9. [9] P. Lindström, On model-completeness, Theoria (Lund), 30 (1964), pp. 183-196 M.R. MR179066
  10. [10] S. Maclane, Categories for the Working Mathematician, Springer-Verlag, 1971. Zbl0705.18001MR354798
  11. [11] A. Robinson, Forcing in Model Theory, Proceedings of the Colloquium on Model Theory, Roma, November 1969. Zbl0212.01802
  12. [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. Zbl0222.02057MR357106
  13. [13] G.S. Sacerdote, Projective model theory and conforcing, to appear. Zbl0333.02041MR406794
  14. [14] G.S. Sacerdote, Infinite coforcing in model theory, to appear. Zbl0314.02062MR469747
  15. [15] D. Saracino - V. Weispfenning, Robinson memorial volume, Springer lecture notes, vol. 498. MR401779
  16. [16] H. Simmons, Companion Theories (Forcing in model theory), Séminaires de Mathématique pure Mensuel, rapport No. 54, Louvain, Janvier 1975. Zbl0355.02036

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.