@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)}, pages = {47--85}, publisher = {Universit\'e Claude Bernard - Lyon 1}, volume = {7}, number = {1}, year = {1970}, mrnumber = {285373}, zbl = {0231.02071}, language = {fr}, url = {http://www.numdam.org/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) no. 1, pp. 47-85. http://www.numdam.org/item/PDML_1970__7_1_47_0/
[1] On Padoa's method in the theory of definitions indig. math. vol. 15 (1953). | MR | Zbl
[2] Remarks on identity and description in first-order systems J.S.L vol. 19 (1954) | MR | Zbl
[3] 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] The mathematics of metamathematics. Panst. Wyd. naut. Varszawa (1963). | MR | Zbl
&[5] On the categoricity in power Bull. Acad. Polon. Sci. Math. astron. phys. vol. 7 (1959). | MR | Zbl
[6] Applications of the Löweinheim-Skolem-Tarski theorem to problems of completeness and decidabilty. Ind. math. vol. 16 (1954). | MR | Zbl
[7] Models of complete theories. Bull. Amer. math. sc. vol. 69 (1963). | MR | Zbl