This volume presents all the published works--spanning more than thirty years--of Julia
Bowman Robinson. These papers constitute important contributions to the theory of effectively …

iiij where (X, Y) is a solution of the game. In this paper, we shall show the validity of an iterative
procedure suggested by George W. Brown [2]. This method corresponds to each player …

In this paper, we are concerned with the arithmetical definability of certain notions of integers
and rationals in terms of other notions. The results derived will be applied to obtain a …

… Julia Robinson showed that the use of this hypothesis can be avoided. This result was …
of diophantine equations is also due to Julia Robinson, and was presented to the American …

Applications (including the negative solution of Hilbert's tenth problem) and extensions are
surveyed of the Main Theorem on Diophantine sets: Every listable (recursively enumerable) …

The purpose of this note is to give a method for solving a problem related to the traveling
salesman problem. It seems worthwhile to give a description of the original problem. One …

1. Introduction. A relation p (xi,■■■, x „) among natural numbers is said to be arithmetically
definable if there is a formula containing the free variables Xi,••■, xn, any number of bound …

1. Introduction. Our main result is the solution of the decision problem for algebraic fields of
finite degree over the rationals. We will give a definition of the natural numbers within the …

A formal, metal-free, [2 + 2 + 2] cycloaddition strategy is described based on a cascade of two
pericyclic processes. The first step involves an intramolecular propargylic ene reaction of a …

Introduction. It was my sister Julia Robinson who first suggested to me that I write the lives of
mathematicians. She thought that students would be interested in knowing something about …