| 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. |
....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