Propriétés de consistance et forcing
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 68 (1979) no. 18, pp. 37-45.
@article{ASCFM_1979__68_18_37_0,
     author = {Lablanquie, J.-C.},
     title = {Propri\'et\'es de consistance et forcing},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     pages = {37--45},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {68},
     number = {18},
     year = {1979},
     mrnumber = {561923},
     zbl = {0427.03020},
     language = {fr},
     url = {http://www.numdam.org/item/ASCFM_1979__68_18_37_0/}
}
TY  - JOUR
AU  - Lablanquie, J.-C.
TI  - Propriétés de consistance et forcing
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1979
SP  - 37
EP  - 45
VL  - 68
IS  - 18
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1979__68_18_37_0/
LA  - fr
ID  - ASCFM_1979__68_18_37_0
ER  - 
%0 Journal Article
%A Lablanquie, J.-C.
%T Propriétés de consistance et forcing
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1979
%P 37-45
%V 68
%N 18
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1979__68_18_37_0/
%G fr
%F 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) no. 18, pp. 37-45. http://www.numdam.org/item/ASCFM_1979__68_18_37_0/

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

[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

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

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