Propriétés de consistance et forcing
Lablanquie, J.-C.
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 68 (1979), p. 37-45 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1979-01-01
@article{ASCFM_1979__68_18_37_0,
     author = {Lablanquie, Jean-Claude},
     title = {Propri\'et\'es de consistance et forcing},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     volume = {68},
     year = {1979},
     pages = {37-45},
     mrnumber = {561923},
     zbl = {0427.03020},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ASCFM_1979__68_18_37_0}
}

Lablanquie, J.-C. Propriétés de consistance et forcing. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 68 (1979) pp. 37-45. http://gdmltest.u-ga.fr/item/ASCFM_1979__68_18_37_0/

[1] Keisler, H.J., Model Theory for Infinitary Logic. (North-Holland, Amsterdam, 1971). | MR 344115 | Zbl 0222.02064

[2] Keisler, H.J., Forcing and the Omitting types theorem. (Studies in Model Theory, pp. 96-133 MAA STUDIES IN MATH., Vol. 8, Buffalo, N.Y., 1973). | MR 337571

[3] Ressayre, J.P., Boolean models and infinitary first-order languages, Annals of Mathematical Logic, Vol. 6 (1974), pp. 41-92. | MR 337599 | Zbl 0288.02013

[4] Stern, J., Forcing et théorie des modèles, Thèse 3e cycle, Paris VII (1972).

[5] Stern, J., A new look at the interpolation theorem; The Journal of Symbolic Logic; Vol. 40, No 1 (1975), pp. 1-13. | MR 444432 | Zbl 0319.02012