@article{ASCFM_1992__98_28_17_0, author = {Lablanquie, Jean-Claude}, title = {Th\'eories pr\'e-inductives et pr\'e-mod\`ele-compl\`etes. {Une} approche naturelle du forcing infini}, journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques}, pages = {17--39}, publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont}, volume = {98}, number = {28}, year = {1992}, mrnumber = {1216676}, zbl = {0788.03040}, language = {fr}, url = {http://archive.numdam.org/item/ASCFM_1992__98_28_17_0/} }
TY - JOUR AU - Lablanquie, Jean-Claude TI - Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini JO - Annales scientifiques de l'Université de Clermont. Mathématiques PY - 1992 SP - 17 EP - 39 VL - 98 IS - 28 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://archive.numdam.org/item/ASCFM_1992__98_28_17_0/ LA - fr ID - ASCFM_1992__98_28_17_0 ER -
%0 Journal Article %A Lablanquie, Jean-Claude %T Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1992 %P 17-39 %V 98 %N 28 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://archive.numdam.org/item/ASCFM_1992__98_28_17_0/ %G fr %F ASCFM_1992__98_28_17_0
Lablanquie, Jean-Claude. Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 98 (1992) no. 28, pp. 17-39. http://archive.numdam.org/item/ASCFM_1992__98_28_17_0/
[1] Completing theories by forcing. Annals of Mathematical Logic. Vol. 2 (1970), pp. 119-142. | MR | Zbl
,[2] Forcing, Arithmetic. Division Rings. Lecture Notes in Mathematics. Vol. 454 (1975). Springer-Verlag. Berlin. | MR | Zbl
,[3] Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium. Oslo. 1970. North-Holland Publishing Company. Amsterdam. (1971). | MR | Zbl
[4] Companion theories (forcing in model theory). Séminaires de Mathématique pure. Rapport n° 54. Institut de mathématique pure et appliquée. Université Catholique de Louvain. (1975). | Zbl