@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, Volume 68 (1979) no. 18, pp. 37-45. http://www.numdam.org/item/ASCFM_1979__68_18_37_0/
[1] Model Theory for Infinitary Logic. (North-Holland, Amsterdam, 1971). | MR | Zbl
,[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. | MR | Zbl
,[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. | MR | Zbl
,