Publications of Julia Bowman Robinson
1948
A note on exact sequential analysis
Univ. California Publ. Math. (N.S.)
1 (1948), pp. 241-246
MR 10,313a , Zbl. 032.04201
Reprinted in Collected Works,
pp. 1-6
1949
Definability and decision problems in arithmetic
Journal of Symbolic Logic
14 (1949), pp. 98-114
MR 11,151f, Zbl. 034.00801
Reprinted in Collected Works,
pp.7-23
1950
General recursive functions
Proceedings of American Mathematical Society
1 (1950), pp. 703-718
MR 12,469b, Zbl. 041.15101
Reprinted in Collected Works,
pp. 25-40
1951
An iterative method of solving a game
Annals of Mathematics (2)
54 (1951), pp. 296-301
MR 13,261e, Zbl. 045.08203
Reprinted in Collected Works,
pp.41-46
1952
Existential definability in arithmetic
Transactions of American Mathematical Society
72 (1952), pp. 437-449
MR 14,4c, Zbl. 047.24802
Reprinted in Collected Works,
pp.47-59
Russian translation in: Matematika, 8:5 (1964), pp.3-14
1955
A note on primitive recursive functions
Proc. American Mathematical Society
6 (1955), pp. 667-670
MR 17,447d, Zbl. 067.00204
Reprinted in Collected Works,
pp. 61-64
1959
The undecidability of algebraic rings and fields
Proc. Amer. Math. Soc
10 (1959), pp. 950-957
MR #3691, Zbl. 100.01501
Reprinted in Collected Works,
pp. 65-72
Problems of number theory arising in metamathematics
Reports of the Institute in the Theory of Numbers (Boulder)
1959, pp.303-306
Reprinted in Collected Works,
pp.73-76
1960
The undecidability of exponential diophantine equations
Notices of Amer. Math.Soc.
7:1 (1960), p. 75
1961
The decision problem for exponential diophantine equations
(with Martin Davis and Hilary
Putnam)
Ann. of Math. (2)
74 (1961), pp. 425-436
MR 24#A3061, Zbl. 111.01003
ISSN 0003-486X
Reprinted in Collected Works,
pp.77-88
Russian translation in: Matematika, 8:5 (1964), pp.69-79
1962
The undecidability of exponential Diophantine equations.
Logic, Methodology and Philosophy of Science
Proc. 1960 Internat. Congr.
E. Nagel et al., editors
Stanford Univ. Press, Stanford, Calif.
1962 , pp.12-13
MR 29#5724, Zbl. 178.32403
Reprinted in Collected Works,
pp. 89-90
On the decision problem for algebraic rings
Studies in mathematical analysis and related topics
D. Gilbarg et al., editors
Stanford Univ. Press, Stanford, Calif.
1962, pp. 297-304
MR 26#3609, Zbl. 117.01204
Reprinted in Collected Works,
pp. 91-98
1965
The decision problem for fields
The Theory of Models
Proc. 1963 Internat. Sympos. Berkeley
J. W. Addison et all., editors
North-Holland, Amsterdam
1965, pp. 299-311
MR 34#62, Zbl. 274.02020
Reprinted in Collected Works,
pp.99-111
1967
An introduction to hyperarithmetical functions
Journal of Symbolic Logic
32 (1967), pp. 325-342.
MR 37#71, Zbl. 153.00801
Reprinted in Collected Works,
pp.113-130
1968
Recursive functions of one variable
Proc. Amer. Math. Soc
19 (1968), pp. 815-820
MR 37#6178, Zbl. 165.31601
Reprinted in Collected Works,
pp. 131-136
Finite generation of recursively enumerable sets.
Proc. Amer. Math. Soc
19 (1968), pp. 1480-1486
MR 39#1328, Zbl. 182.01601
Reprinted in Collected Works,
pp. 137-143
1969
Unsolvable diophantine problems
Proc. Amer. Math. Soc
22 (1969), pp. 534-538
MR 39#5363, Zbl 182.01901
Reprinted in Collected Works,
pp. 195-199
Finitely generated classes of sets of natural numbers
Proc. Amer. Math. Soc
21 (1969), pp. 608-614
MR 40#7111, ZBl. 182.01901
Reprinted in Collected Works,
pp. 187-193
Diophantine decision problems
Studies in Number Theory
W.J. LeVeque, editor
Math. Assoc. Amer. Studies in Mathematics
6 (1969), pp. 76-116
(distributed by Prentice-Hall, Englewood Cliffs, N.J.)
MR 39 #5364, Zbl. 269.02018
Reprinted in Collected Works,
pp. 145-185
1971
Hilbert's tenth problem
1969 Number Theory Institute, State Univ. New York, Stony Brook, N.Y.,
1969
D.J.Lewis, editor
Proc. Sympos. Pure Math.
20 (1971), pp. 191-194
Amer. Math. Soc., Providence, RI
MR 47 #4782, Zbl. 238.02037
Reprinted in Collected Works,
pp. 201-194
1973
Solving diophantine equations
Logic, methodology and philosophy of science, IV
Proc. Fourth Internat. Congr., Bucharest, 1971
P.C.Suppes et al, editors
Studies in Logic and Foundations of Math.
74 (1973), pp. 63-67
North-Holland, Amsterdam
MR 58 #215
Reprinted in Collected Works,
pp. 205-209
Axioms for number theoretic functions
Selected questions of algebra and logic
(collection dedicated to the memory of A. I. Mal'cev)
A.I.Shirshov et al, editors
"Nauka", Sibirsk. Otdel., Novosibirsk
1973, pp. 253-263
MR 48 #8224, Zbl. 279.02035
Reprinted in Collected Works,
pp. 211-221
1974
Two universal three-quantifier representations of enumerable
sets
(with Yuri Matiyasevich,
in Russian)
Theory of algorithms and mathematical logic
(dedicated to A. A. Markov on the occasion of his seventieth
birthday)
B.A.Kushner et al. editors
Vycisl. Centr Akad. Nauk SSSR, Moscow
1974, pp. 112-123, 216
MR 53 #10566, Zbl. 327.02035
Reprinted in Collected Works,
pp. 223-234
1975
Reduction of an arbitrary Diophantine equation to one
in 13 unknowns
(with Yuri Matiyasevich)
Acta Arithmetica
27 (1975), pp.521-553
(Collection of articles in memory of Jurii
Vladimirovich Linnik)
MR 52 #8033, Zbl. 279.10019
Reprinted in Collected Works,
pp. 235-267
1976
Hilbert's tenth problem.
Diophantine equations: positive aspects of a negative solution
(with Martin Davis and
Yuri Matiyasevich )
Mathematical Developments arising from Hilbert Problems
Northern Illinois Univ., De Kalb, Ill., 1974
F.E.Browder, editor
Proc. Sympos. Pure Math.
28 (1976), pp. 323-378
Amer. Math. Soc., Providence, RI
MR 55 #5522 Zbl. 346.02026
Reprinted in Collected Works,
pp. 269-378
1980
Between logic and arithmetic
Lecture notes distributed in conjunction with the
Colloquium Lectures given at the
Eighty-fourth Summer Meeting of the American Mathematical Society
University of Michigan Ann Arbor, August 19-22, 1980, pp. 1-11
Reprinted in Collected Works,
pp. 325-335
1996
The collected works of Julia Robinson
With an introduction by Constance Reid
Edited and with a foreword by Solomon Feferman
Collected Works
6 (1996), xliv+338 pp.
American Mathematical Society, Providence, RI
ISBN: 0-8218-0575-4
MR 97m:01111, Zbl. 855.01047
The collection contains all above listed paper with the exception
of 1960 short paper in the Notices of the AMS