Ohio State nav bar

Logic Seminar - Russell Miller

math_sculpture
February 20, 2018
1:45PM - 2:45PM
University Hall 0051

Date Range
Add to Calendar 2018-02-20 13:45:00 2018-02-20 14:45:00 Logic Seminar - Russell Miller Title: Hilbert's Tenth Problem for Subrings of the RationalsSpeaker: Russell Miller (CUNY)Abstract: For a ring R, Hilbert's Tenth Problem HTP(R) is the set of all polynomials f in R[X_1,X_2,...] for which f=0 has a solution in R. In 1970, Matiyasevich completed work by Davis, Putnam, and Robinson to show that the original Tenth Problem of Hilbert, HTP(Z), is undecidable. On the other hand, the decidability of HTP(Q) remains an open question. We will examine this problem for subrings of the rational numbers, viewing these subrings as the elements of a topological space homeomorphic to Cantor space and connecting their Turing degrees and computability-theoretic properties to those of HTP(Q) itself.Some of the work discussed is joint with Kramer, and some with Eisentraeger, Park, and Shlapentokh. University Hall 0051 Department of Mathematics math@osu.edu America/New_York public

Title: Hilbert's Tenth Problem for Subrings of the Rationals

Speaker: Russell Miller (CUNY)

Abstract: For a ring R, Hilbert's Tenth Problem HTP(R) is the set of all polynomials f in R[X_1,X_2,...] for which f=0 has a solution in R. In 1970, Matiyasevich completed work by Davis, Putnam, and Robinson to show that the original Tenth Problem of Hilbert, HTP(Z), is undecidable. On the other hand, the decidability of HTP(Q) remains an open question. We will examine this problem for subrings of the rational numbers, viewing these subrings as the elements of a topological space homeomorphic to Cantor space and connecting their Turing degrees and computability-theoretic properties to those of HTP(Q) itself.

Some of the work discussed is joint with Kramer, and some with Eisentraeger, Park, and Shlapentokh.

Events Filters: