Théorie des modèles sans identité
Pabion, J. F.
Publications du Département de mathématiques (Lyon), Tome 7 (1970), p. 47-85 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1970-01-01
@article{PDML_1970__7_1_47_0,
     author = {Pabion, J. F.},
     title = {Th\'eorie des mod\`eles sans identit\'e},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {7},
     year = {1970},
     pages = {47-85},
     mrnumber = {285373},
     zbl = {0231.02071},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1970__7_1_47_0}
}

Pabion, J. F. Théorie des modèles sans identité. Publications du Département de mathématiques (Lyon), Tome 7 (1970) pp. 47-85. http://gdmltest.u-ga.fr/item/PDML_1970__7_1_47_0/

[1] E. W. Beth On Padoa's method in the theory of definitions indig. math. vol. 15 (1953). | MR 58537 | Zbl 0053.34402

[2] Hailperin T Remarks on identity and description in first-order systems J.S.L vol. 19 (1954) | MR 61562 | Zbl 0055.00403

[3] Pabion J.F. Extensions de méthodes sémantiques pour l'étude de la saturation des théories du 1-er ordre, thèse spécialité - Lyon (1968).

[4] H. Rasiowa & R. Sikorski The mathematics of metamathematics. Panst. Wyd. naut. Varszawa (1963). | MR 163850 | Zbl 0122.24311

[5] C. Ryll-Nardzewski On the categoricity in power ⩽ℕ 0 Bull. Acad. Polon. Sci. Math. astron. phys. vol. 7 (1959). | MR 111681 | Zbl 0117.01101

[6] Vaught R. Applications of the Löweinheim-Skolem-Tarski theorem to problems of completeness and decidabilty. Ind. math. vol. 16 (1954). | MR 63993 | Zbl 0056.24802

[7] Vaught R. Models of complete theories. Bull. Amer. math. sc. vol. 69 (1963). | MR 147396 | Zbl 0112.00701