Laurent Moret-Bailly, paper in preparation, extending results presented in a lecture 18 June 2001 at a conference in honor of Michel Raynaud in Orsay, France.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Using Elliptic Curves of Rank One towards the Undecidability of.. - Poonen   (Correct)

....Hilbert s Tenth Problem, see the book [DLPVG00] and especially the survey articles [PZ00] and [Shl00b] therein. Since the publication of that book, undecidability of Hilbert s Tenth Problem has been proved also for function fields of curves X over formally real fields k 0 with X(k 0 ) nonempty [MB] (in fact this is just one application of his results) and for function fields of surfaces over real closed or algebraically closed fields of characteristic zero [Eis] 2 Hilbert s Tenth Problem over rings of integers In this article, our goal is to prove a result towards Hilbert s Tenth ....

Laurent Moret-Bailly, paper in preparation, extending results presented in a lecture 18 June 2001 at a conference in honor of Michel Raynaud in Orsay, France.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC