Voir la notice de l'article provenant de la source Numdam
@article{CM_1956-1958__13__81_0, author = {Tarski, Alfred and Vaught, Robert L.}, title = {Arithmetical extensions of relational systems}, journal = {Compositio Mathematica}, pages = {81--102}, publisher = {Kraus Reprint}, volume = {13}, year = {1956-1958}, mrnumber = {95121}, zbl = {0091.01201}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CM_1956-1958__13__81_0/} }
Tarski, Alfred; Vaught, Robert L. Arithmetical extensions of relational systems. Compositio Mathematica, Tome 13 (1956-1958), pp. 81-102. http://geodesic.mathdoc.fr/item/CM_1956-1958__13__81_0/