At 11:43 AM 3/23/98 -0500, Neil Tennant wrote: > Within the limits >already set by the results of G"odel and Davis-Matiyasevich, Thanks, but if you're going to list me, you need to also mention Hilary Putnam, and (particularly) Julia Robinson. To avoid a long list of names the MRDP abbreviation makes sense. Martin