David Marker : Defiing the integers in the rationals I

Posted by David E. Marker , part of the Logic Seminar.

At

Aug. 28, 2007, 4 p.m.

In

SEO 427

Abstract

In 1959 Julia Robinson showed that the ring of integers is definable in the field of rational numbers. I will give a more conceptual proof due to Rumley. This result is at the core of Scanlon's recent work on definabilty in finitely generated fields.