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.
@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] Barwise J., Robinson A. Completing theories by forcing. Annals of Mathematical Logic. Vol. 2 (1970), pp. 119-142. | MR | Zbl

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

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

[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