Celebratio Mathematica

J. Robin­son: “Defin­ab­il­ity and de­cision prob­lems in arith­met­ic,” J. Symb. Lo­gic 14 : 2 (June 1949), pp. 98–​114. A ver­sion of the au­thor’s 1948 PhD thes­is. MR 31446 Zbl 0034.​00801 article

J. Robin­son: “Ex­ist­en­tial defin­ab­il­ity in arith­met­ic,” Trans. Am. Math. Soc. 72 : 3 (1952), pp. 437–​449. MR 48374 Zbl 0047.​24802 article

M. Dav­is, H. Put­nam, and J. Robin­son: “The de­cision prob­lem for ex­po­nen­tial di­o­phant­ine equa­tions,” Ann. Math. (2) 74 : 3 (November 1961), pp. 425–​436. MR 133227 Zbl 0111.​01003 article

J. Robin­son: “The de­cision prob­lem for fields,” pp. 299–​311 in The­ory of mod­els (Berke­ley, CA, 25 June–11 Ju­ly 1963). Edi­ted by J. W. Ad­dis­on, L. Hen­kin, and A. Tarski. Stud­ies in Lo­gic and the Found­a­tions of Math­em­at­ics. North-Hol­land (Am­s­ter­dam), 1965. MR 200163 Zbl 0274.​02020 incollection

J. Robin­son: “Un­solv­able di­o­phant­ine prob­lems,” Proc. Am. Math. Soc. 22 : 2 (1969), pp. 534–​538. MR 244046 Zbl 0182.​01901 article

Y. Mati­jasevič and J. Robin­son: “Re­duc­tion of an ar­bit­rary Di­o­phant­ine equa­tion to one in 13 un­knowns,” Acta Arith. 27 (1975), pp. 521–​553. MR 387188 Zbl 0279.​10019 article

J. Robin­son: The col­lec­ted works of Ju­lia Robin­son. Edi­ted by S. Fe­fer­man. Col­lec­ted Works 6. Amer­ic­an Math­em­at­ic­al So­ci­ety (Provid­ence, RI), 1996. With an in­tro­duc­tion by Con­stance Re­id and a fore­word by Fe­fer­man. MR 1411448 Zbl 0855.​01047 book