Théorie des modèles sans identité
Publications du Département de mathématiques (Lyon) (1970)
- Volume: 7, Issue: 1, page 47-85
- ISSN: 0076-1656
Access Full Article
top
How to cite
topPabion, J. F.. "Théorie des modèles sans identité." Publications du Département de mathématiques (Lyon) 7.1 (1970): 47-85. <http://eudml.org/doc/274295>.
@article{Pabion1970,
author = {Pabion, J. F.},
journal = {Publications du Département de mathématiques (Lyon)},
language = {fre},
number = {1},
pages = {47-85},
publisher = {Université Claude Bernard - Lyon 1},
title = {Théorie des modèles sans identité},
url = {http://eudml.org/doc/274295},
volume = {7},
year = {1970},
}
TY - JOUR
AU - Pabion, J. F.
TI - Théorie des modèles sans identité
JO - Publications du Département de mathématiques (Lyon)
PY - 1970
PB - Université Claude Bernard - Lyon 1
VL - 7
IS - 1
SP - 47
EP - 85
LA - fre
UR - http://eudml.org/doc/274295
ER -
References
top- [1] E. W. BethOn Padoa's method in the theory of definitionsindig. math. vol. 15 (1953). Zbl0053.34402MR58537
- [2] Hailperin TRemarks on identity and description in first-order systemsJ.S.L vol. 19 (1954) Zbl0055.00403MR61562
- [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. SikorskiThe mathematics of metamathematics. Panst. Wyd. naut.Varszawa (1963). Zbl0122.24311MR163850
- [5] C. Ryll-NardzewskiOn the categoricity in power Bull. Acad. Polon. Sci. Math. astron. phys. vol. 7 (1959). Zbl0117.01101MR111681
- [6] Vaught R.Applications of the Löweinheim-Skolem-Tarski theorem to problems of completeness and decidabilty. Ind. math. vol. 16 (1954). Zbl0056.24802MR63993
- [7] Vaught R.Models of complete theories. Bull. Amer. math. sc. vol. 69 (1963). Zbl0112.00701MR147396
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.