Publication:3423328

zbMath1196.11166MaRDI QIDQ3423328

Alexandra Shlapentokh

Publication date: 22 February 2007

zbMATH Keywords

undecidability; Diophantine equations; Hilbert's tenth problem

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

03D35: Undecidability and degrees of sets of sentences

11-02: Research exposition (monographs, survey articles) pertaining to number theory

11D99: Diophantine equations

Related Items

Model Theory in Algebra, Analysis and Arithmetic: A Preface, Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions, Elliptic divisibility sequences and undecidable problems about rational points, The work of Kim and Roush on questions of decidability in algebra and number theory, A survey on Büchi's problem: new presentations and open problems, The analogue of Büchi's problem for function fields, Additional results to a theorem of Eisenträger and Everest, Powerful values of polynomials and a conjecture of Vojta, What can and cannot be done with Diophantine problems, Defining the integers in large rings of a number field using one universal quantifier, Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007, Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank, Definability and decidability in infinite algebraic extensions, Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field, Diophantine definability and decidability in extensions of degree 2 of totally real fields, Elliptic curves, \(L\)-functions, and Hilbert's tenth problem, Existential Diophantine definability of string length, Uniform existential interpretation of arithmetic in rings of functions of positive characteristic, The number of solutions of a diophantine equation over a recursive ring, THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS, Martin Davis and Hilbert’s Tenth Problem, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory, Descent on elliptic curves and Hilbert’s tenth problem