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: “An it­er­at­ive meth­od of solv­ing a game,” Ann. Math. (2) 54 : 2 (September 1951), pp. 296–​301. MR 43430 Zbl 0045.​08203 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

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