Introduction -- Diophantine classes: definitions and basic facts -- Diophantine equivalence and Diophantine decidability -- Integrality at finitely many primes and divisibility of order at infinitely many primes -- Bound equations for number fields and their consequences -- Units of rings of W-integers of norm 1 -- Diophantine classes over number fields -- Diophantine undecidability of function fields -- Bounds for function fields -- Diophantine classes over function fields -- Mazur's conjectures and their consequences -- Results of Poonen -- Beyond global fields -- Recursion (computability) theory -- Number theory
Summary
Hilbert's Tenth Problem - to find an algorithm to determine whether a polynomial equation in several variables with integer coefficients has integer solutions - was shown to be unsolvable in the late sixties. This book presents an account of results extending Hilbert's Tenth Problem to integrally closed subrings of global fields
Bibliography
Includes bibliographical references (pages 310-316) and index