Celebratio Mathematica

J. Robin­son: “A note on ex­act se­quen­tial ana­lys­is,” Univ. Cali­for­nia Publ. Math. (N.S.) 1 (1948), pp. 241–​246. MR 27480 Zbl 0032.​04201 article

J. B. Robin­son: Defin­ab­il­ity and de­cision prob­lems in arith­met­ic. Ph.D. thesis, Uni­versity of Cali­for­nia, Berke­ley, 1948. Ad­vised by A. Tarski. A ver­sion of this was pub­lished in J. Symb. Lo­gic 14:2 (1949). MR 2937788 phdthesis

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: “Gen­er­al re­curs­ive func­tions,” Proc. Am. Math. Soc. 1 : 6 (1950), pp. 703–​718. MR 38912 Zbl 0041.​15101 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

J. Robin­son: “A note on prim­it­ive re­curs­ive func­tions,” Proc. Am. Math. Soc. 6 : 4 (1955), pp. 667–​670. MR 73536 Zbl 0067.​00204 article

J. Robin­son: “The un­de­cid­ab­il­ity of al­geb­ra­ic rings and fields,” Proc. Am. Math. Soc. 10 : 6 (1959), pp. 950–​957. MR 112842 Zbl 0100.​01501 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: “On the de­cision prob­lem for al­geb­ra­ic rings,” pp. 297–​304 in Stud­ies in math­em­at­ic­al ana­lys­is and re­lated top­ics. Edi­ted by G. Szegő. Stan­ford Stud­ies in Math­em­at­ics and Stat­ist­ics 4. Stan­ford Uni­versity Press, 1962. Volume of es­says in hon­or of George Pólya. MR 146083 Zbl 0117.​01204 incollection

J. Robin­son: “The un­de­cid­ab­il­ity of ex­po­nen­tial Di­o­phant­ine equa­tions,” pp. 12–​13 in Lo­gic, meth­od­o­logy and philo­sophy of sci­ence (Stan­ford, CA, 24 Au­gust–2 Septem­ber 1960). Edi­ted by E. Na­gel. Stud­ies in Lo­gic and the Found­a­tions of Math­em­at­ics 44. Stan­ford Uni­versity Press, 1962. MR 168461 Zbl 0178.​32403 incollection

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: “An in­tro­duc­tion to hy­per­arith­met­ic­al func­tions,” J. Symb. Lo­gic 32 : 3 (October 1967), pp. 325–​342. MR 224472 Zbl 0153.​00801 article

J. Robin­son: “Re­curs­ive func­tions of one vari­able,” Proc. Am. Math. Soc. 19 : 4 (1968), pp. 815–​820. MR 230618 Zbl 0165.​31601 article

J. Robin­son: “Fi­nite gen­er­a­tion of re­curs­ively enu­mer­able sets,” Proc. Am. Math. Soc. 19 : 6 (1968), pp. 1480–​1486. MR 239974 Zbl 0182.​01601 article

J. Robin­son: “Di­o­phant­ine de­cision prob­lems,” pp. 76–​116 in Stud­ies in num­ber the­ory. Edi­ted by W. LeVeque. MAA Stud­ies in Math­em­at­ics 6. Math­em­at­ic­al As­so­ci­ation of Amer­ica (Wash­ing­ton, DC), 1969. Dis­trib­uted by Pren­tice-Hall, Engle­wood Cliffs, NJ. MR 244047 Zbl 0269.​02018 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

J. Robin­son: “Fi­nitely gen­er­ated classes of sets of nat­ur­al num­bers,” Proc. Am. Math. Soc. 21 : 3 (1969), pp. 608–​614. MR 253898 Zbl 0184.​01902 article

J. Robin­son: “Hil­bert’s tenth prob­lem,” pp. 191–​194 in 1969 num­ber the­ory in­sti­tute (Stony Brook, NY, 7 Ju­ly–1 Au­gust 1969). Edi­ted by D. J. Lewis. Pro­ceed­ings of Sym­po­sia in Pure Math­em­at­ics 20. 1971. MR 316234 Zbl 0238.​02037 incollection

J. Robin­son: “Ax­ioms for num­ber the­or­et­ic func­tions,” pp. 253–​263 in Izbrannye vo­prosy al­gebry i lo­giki [Se­lec­ted ques­tions of al­gebra and lo­gic]. Edi­ted by A. I. Shirshov. Nauka (Nov­os­ibirsk), 1973. Col­lec­tion ded­ic­ated to the memory of A. I. Mal’cev. MR 329884 Zbl 0279.​02035 incollection

J. Robin­son: “Solv­ing di­o­phant­ine equa­tions,” pp. 63–​67 in Lo­gic, meth­od­o­logy and philo­sophy of sci­ence, IV (Bucharest, 29 Au­gust–4 Septem­ber 1971). Edi­ted by P. Suppes and J. F. Staal. Stud­ies in Lo­gic and the Found­a­tions of Math­em­at­ics 74. North-Hol­land (Am­s­ter­dam), 1973. MR 480014 incollection

J. Mati­jasevič and D. Robin­son: “Two uni­ver­sal three-quan­ti­fi­er rep­res­ent­a­tions of enu­mer­able sets,” pp. 112–​123 in Teop­iya al­gor­i­f­mov i matem­aticheskaya lo­gika [The­ory of al­gorithms, and math­em­at­ic­al lo­gic]. Edi­ted by B. A. Kush­ner and N. M. Nagorny. Com­put­ing Cen­ter of the Academy of Sci­ences (Mo­scow), 1974. Volume ded­ic­ated to A. A. Markov on the oc­ca­sion of his sev­en­ti­eth birth­day. MR 406780 Zbl 0327.​02035 incollection

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

L. Hen­kin, D. H. Lehmer, E. Lehmer, E. Scott, J. Kel­ley, L. Gaal, D. Gale, M. Dav­is, S. Mac Lane, I. Niven, E. Pitch­er, L. Blum, and S. Fe­fer­man: “Ju­lia Bow­man Robin­son: 1919–1985,” No­tices Am. Math. Soc. 32 : 6 (November 1985), pp. 739–​742. MR 811002 Zbl 0571.​01026 article

C. Re­id: “The auto­bi­o­graphy of Ju­lia Robin­son,” Col­lege Math. J. 17 : 1 (1986), pp. 3–​21. MR 827630 Zbl 0995.​01515 article

C. Smoryński: “Ju­lia Robin­son, in me­mori­am,” Math. In­tell. 8 : 2 (June 1986), pp. 77–​79. MR 832600 Zbl 0582.​01024 article

C. Re­id and R. M. Robin­son: “Ju­lia Bow­man Robin­son (1919–1985),” pp. 182–​189 in Wo­men of math­em­at­ics: A bib­li­o­graph­ic source­book. Edi­ted by L. S. Grinstein. Green­wood Press (West­port, CT), 1987. MR 911514 incollection

M. Dav­is: “Robin­son, Ju­lia Bow­man,” pp. 265–​268 in Dic­tion­ary of sci­entif­ic bio­graphy, vol. 24. Edi­ted by F. L. Holmes and C. C. Gil­lis­pie. Charles Scrib­n­er’s Sons (New York), 1990. incollection

Y. Mati­ja­se­vich: “My col­lab­or­a­tion with Ju­lia Robin­son,” Math. In­tell. 14 : 4 (1992), pp. 38–​45. A French trans­la­tion was pub­lished in Gaz­ette des Mathématiciens 59 (1994). An er­rat­um was pub­lished in Math. In­tel­li­gen­cer 15:1 (1993). MR 1188142 Zbl 0770.​01005 article

Y. Mati­ja­se­vich: “Er­rat­um, ‘My col­lab­or­a­tion with Ju­lia Robin­son’,” Math. In­tell. 15 : 1 (1993), pp. 75. An er­rat­um was pub­lished in Math. In­tel­li­gen­cer 14:2 (1992). MR 1199278 article

Y. Matii­as­sev­itch: “Ma col­lab­or­a­tion avec Ju­lia Robin­son” [My col­lab­or­a­tion with Ju­lia Robin­son], Gaz. Math. 59 (1994), pp. 27–​44. French trans­la­tion of Eng­lish ori­gin­al pub­lished in Math. In­tel­li­gen­cer 14:4 (1992). Zbl 0805.​01018 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

C. Re­id: “Be­ing Ju­lia Robin­son’s sis­ter,” No­tices Am. Math. Soc. 43 : 12 (December 1996), pp. 1486–​1492. MR 1416722 Zbl 1042.​01530 article

C. Re­id: Ju­lia: A life in math­em­at­ics. MAA Spec­trum. Math­em­at­ic­al As­so­ci­ation of Amer­ica (Wash­ing­ton, DC), 1996. With con­tri­bu­tions by Lisl Gaal, Mar­tin Dav­is and Yuri Mati­jasevich. MR 1418864 Zbl 0868.​01020 book

G. Csic­sery: Ju­lia Robin­son and Hil­bert’s tenth prob­lem, 2008. 54 minute DVD (Zala Films, Oak­land, CA). MR 2789035 Zbl 1225.​01058 misc

E. Lamb: “How Ju­lia Robin­son helped define the lim­its of math­em­at­ic­al know­ledge,” Sci. News 196 : 9 (23 November 2019). article