Department of

Mathematics


Seminar Calendar
for events the day of Tuesday, May 9, 2006.

     .
events for the
events containing  

(Requires a password.)
More information on this calendar program is available.
Questions regarding events or the calendar should be directed to Tori Corkery. 
      April 2006              May 2006              June 2006      
 Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
                    1       1  2  3  4  5  6                1  2  3
  2  3  4  5  6  7  8    7  8  9 10 11 12 13    4  5  6  7  8  9 10
  9 10 11 12 13 14 15   14 15 16 17 18 19 20   11 12 13 14 15 16 17
 16 17 18 19 20 21 22   21 22 23 24 25 26 27   18 19 20 21 22 23 24
 23 24 25 26 27 28 29   28 29 30 31            25 26 27 28 29 30   
 30

Tuesday, May 9, 2006

12:30 pm in 345 Altgeld Hall,Tuesday, May 9, 2006
Logic Seminar

Hilbert's Tenth Problem for function fields of positive characteristic

Kirsten Eisenträger (University of Michigan)

Abstract: Hilbert's Tenth Problem in its original form was to find an algorithm to decide, given a polynomial equation f(x1,...,xn) =0 with coefficients in the ring Z of integers, whether it has a solution with x1,...,xn∈Z. Matiyasevich proved that no such algorithm exists, i.e. Hilbert's Tenth Problem is undecidable. Since then, analogues of this problem have been studied by asking the same question for polynomial equations with coefficients and solutions in other commutative rings. Let k be the function field of a curve over a finite field, and let v be a non-trivial discrete valuation on k with valuation ring Rv. We will give a new proof of the known result that Rv is diophantine over k, and we will show how this can be used to prove that Hilbert's Tenth Problem for k is undecidable.

Submitted by clif