%0 Journal Article %A Tarski, Alfred %A Vaught, Robert L. %T Arithmetical extensions of relational systems %J Compositio Mathematica %D 1956-1958 %P 81-102 %V 13 %I Kraus Reprint %U http://www.numdam.org/item/CM_1956-1958__13__81_0/ %G en %F CM_1956-1958__13__81_0