À propos d'un théorème de MacIntyre
Lavendhomme, R. ; Lucas, Th.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 22 (1981), p. 387-398 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1981-01-01
@article{CTGDC_1981__22_4_387_0,
     author = {Lavendhomme, Ren\'e and Lucas, Th.},
     title = {\`A propos d'un th\'eor\`eme de MacIntyre},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {22},
     year = {1981},
     pages = {387-398},
     mrnumber = {639049},
     zbl = {0485.03037},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/CTGDC_1981__22_4_387_0}
}

Lavendhomme, R.; Lucas, Th. À propos d'un théorème de MacIntyre. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 22 (1981) pp. 387-398. http://gdmltest.u-ga.fr/item/CTGDC_1981__22_4_387_0/

1 Benabou J., Théories relatives à un corpus, C.R.A.S. Paris 281 (1975), 831. Fibrations petites et localement petites, Ibid. 897-900. | MR 393181 | Zbl 0349.18006

2 Comer S.D., Elementary properties of structure s of sections, Bol. Soc. Mat. Mexicana 19 (1974), 78 -85. | MR 437333 | Zbl 0338.02032

3 Ehresmann C., Esquisses et types des structures algébriques, Bul. Inst. Polit. Iasi 14 (1968). | MR 238918 | Zbl 0196.03102

4 Fefermann C. & Vaught R.L., The first-order properties of products of algebraic systems, Fund. Math. 47 (1959), 57 - 103. | MR 108455 | Zbl 0088.24803

5 Macintyre A., Model-completeness for sheaves of structures, Fund. Math. 81 (1973), 73-89. | MR 337592 | Zbl 0317.02065

6 Makkai M. & Reyes G., First order categorical logic, Lecture Notes in Math. 611, Springer (1977). | MR 505486 | Zbl 0357.18002

7 Lavendhomme R. & Lucas Th., Généralisation non-booléenne d'un théorème de Feferman-Vaught, En préparation.

8 Reyes G., Théorie de s modèles et faisceaux, Sém. Math. Pure Univ. Catholique de Louvain 63 (1978).