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, Volume 98 (1992) no. 28, p. 17-39
@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},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {98},
     number = {28},
     year = {1992},
     pages = {17-39},
     zbl = {0788.03040},
     mrnumber = {1216676},
     language = {fr},
     url = {http://www.numdam.org/item/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, Volume 98 (1992) no. 28, pp. 17-39. http://www.numdam.org/item/ASCFM_1992__98_28_17_0/

[1] Barwise J., Robinson A. Completing theories by forcing. Annals of Mathematical Logic. Vol. 2 (1970), pp. 119-142. | MR 272613 | Zbl 0222.02058

[2] Hirschfeld J., Wheeler W. Forcing, Arithmetic. Division Rings. Lecture Notes in Mathematics. Vol. 454 (1975). Springer-Verlag. Berlin. | MR 389581 | Zbl 0304.02024

[3] Robinson A. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium. Oslo. 1970. North-Holland Publishing Company. Amsterdam. (1971). | MR 357106 | Zbl 0222.02057

[4] Simmons H. 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 0355.02036