most recent 30 from http://mathoverflow.net 2013-05-18T18:16:31Z http://mathoverflow.net/feeds/question/30646 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/30646/how-to-locate-the-paper-that-established-robinson-arithmetic Jose Brox 2010-07-05T18:10:58Z 2010-09-15T21:05:08Z

<p>If I'm not mistaken, it was in his seminal paper “An Essentially Undecidable Axiom System”, published in </p> <p>Proceedings of the International Congress of Mathematics (1950), 729–730,</p> <p>where R.M. Robinson proved that Gödel Incompleteness Theorem still applies to Peano Axioms if we drop the induction schema (hence showing that infinite axiomatization is not necessary for essential undecidability), in what we now call Robinson Arithmetic.</p> <p>I would like to know:</p> <ul> <li>Is actually this paper what I should be looking for?</li> <li>Can it be found anywhere on the net? (I already tried on MathSciNet, SpringerLink, JSTOR and Google Scholar, without success)</li> <li>Can anyone pinpoint to closely related, or at least similar, accessible papers?</li> </ul> <p>(Note: I already have the book "Undecidable theories", which he published in collaboration with Tarski, but I'd prefer to locate papers about 'Robinson theory', specifically).</p>

http://mathoverflow.net/questions/30646/how-to-locate-the-paper-that-established-robinson-arithmetic/30686#30686 Bob Durrant 2010-07-05T21:45:43Z 2010-07-05T21:45:43Z

<p>Hi Jose, it's in the British library collection: <a href="http://snurl.com/z16ud" rel="nofollow">http://snurl.com/z16ud</a> Haven't checked what the fees are, but you could order it from there.</p> <p>Alternatively, you could try the LMS: <a href="http://www.lms.ac.uk" rel="nofollow">http://www.lms.ac.uk</a> A good chance they will have the procs in their library, and you can get photocopies for a nominal fee.</p> <p>Several other similar alternatives too.</p>