@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},
year = {1979},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {68},
number = {18},
mrnumber = {561923},
zbl = {0427.03020},
language = {fr},
url = {https://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 - https://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 https://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. https://www.numdam.org/item/ASCFM_1979__68_18_37_0/
[1] , Model Theory for Infinitary Logic. (North-Holland, Amsterdam, 1971). | Zbl | MR
[2] , 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] , Boolean models and infinitary first-order languages, Annals of Mathematical Logic, Vol. 6 (1974), pp. 41-92. | Zbl | MR
[4] , Forcing et théorie des modèles, Thèse 3e cycle, Paris VII (1972).
[5] , A new look at the interpolation theorem; The Journal of Symbolic Logic; Vol. 40, No 1 (1975), pp. 1-13. | Zbl | MR





