Celebratio Mathematica

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: “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

M. Dav­is, Y. Mati­jasevič, and J. Robin­son: “Hil­bert’s tenth prob­lem: Di­o­phant­ine equa­tions: Pos­it­ive as­pects of a neg­at­ive solu­tion,” pp. 323–​378 in Math­em­at­ic­al de­vel­op­ments arising from Hil­bert prob­lems (DeKalb, IL, 13–17 May 1974), Part 2. Edi­ted by F. E. Browder. Pro­ceed­ings of Sym­po­sia in Pure Math­em­at­ics 28. 1976. With a loose-leaf er­rat­um. MR 432534 Zbl 0346.​02026 incollection