Celebratio Mathematica

Julia Robinson

Complete Bibliography

Works connected to Alfred Tarski

Filter the Bibliography List


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