Extensions of Hilbert's tenth problem

[1]  Jan Denef,et al.  p-adic semi-algebraic sets and cell decomposition. , 1986 .

[2]  F. W. Roush,et al.  Diophantine undecidability of C(t1, t2) , 1992 .

[3]  Martin D. Davis.  Hilbert's Tenth Problem is Unsolvable , 1973 .

[4]  Martin Ziegler,et al.  Model theory of modules , 1984, Ann. Pure Appl. Log..

[5]  Michael D. Fried,et al.  Solving Diophantine Problems Over All Residue Class Fields of a Number Field and All Finite Fields , 1976 .

[6]  Alexander Prestel.  Decidable theories of preordered fields , 1982 .

[7]  F. Grunewald,et al.  Mathematical Proceedings of the Cambridge Philosophical Society How to solve a quadratic equation in integers , 2007 .

[8]  Julia Robinson,et al.  Reduction of an arbitrary diophantine equation to one in 13 unknowns , 1975 .

[9]  L. Lipshitz.  The Diophantine problem for addition and divisibility , 1978 .

[10]  J. Denef.  The Diophantine problem for polynomial rings and fields of rational functions , 1978 .

[11]  Oliver Aberth.  The failure in computable analysis of a classical existence theorem for differential equations , 1971 .

[12]  J. L. Britton.  Integer solutions of systems of quadratic equations , 1979 .

[13]  Jan Denef,et al.  P-adic and real subanalytic sets , 1988 .

[14]  A. Seidenberg.  A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .

[15]  L. Lipshitz,et al.  Diophantine Sets over Some Rings of Algebraic Integers , 1978 .

[16]  R. Rumely.  Undecidability and definability for the theory of global fields , 1980 .

[17]  Marian Boylan Pour-el,et al.  A computable ordinary differential equation which possesses no computable solution , 1979 .

[18]  G. Cherlin.  Undecidability of Rational Function Fields in Nonzero Characteristic , 1984 .

[19]  James P. Jones.  Undecidable diophantine equations , 1980 .

[20]  Paul J. Cohen,et al.  Decision procedures for real and p‐adic fields , 1969 .

[21]  L. Lipshitz,et al.  Ultraproducts and approximation in local rings. II , 1980 .

[22]  An undecidability result for power series rings of positive characteristic , 1987 .

[23]  Thanases Pheidas,et al.  An Analogue of Hilbert's Tenth Problem for p-adic Entire Functions , 1995, J. Symb. Log..

[24]  Diophantine sets over algebraic integer rings. II , 1980 .

[25]  James P. Jones.  Classification of Quantifier Prefixes Over Diophantine Equations , 1981, Math. Log. Q..

[26]  L. Dries.  A generalization of the Tarski-Seidenberg theorem, and some nondefinability results , 1986 .

[27]  L. Lipshitz,et al.  p-adic zeros of polynomials. , 1988 .

[28]  Gregory L. Cherlin,et al.  Undecidability of some elementary theories over pac fields , 1986, Ann. Pure Appl. Log..

[29]  S. Kochen,et al.  Diophantine Problems Over Local Fields: III. Decidable Fields , 1966 .

[30]  James P. Jones.  Diophantine representation of Mersenne and Fermat primes , 1979 .

[31]  A. Adler.  A Reduction of Homogeneous Diophantine Problems , 1971 .

[32]  Ki Hang Kim,et al.  Quadratic forms over C[t1, t2] , 1991 .

[33]  Denis Richard.  All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate , 1985, Discret. Math..

[34]  Undecidable existential problems for addition and divisibility in algebraic number rings , 1978 .

[35]  R. Robinson.  THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS , 1964 .

[36]  D. Wiens,et al.  DIOPHANTINE REPRESENTATION OF THE SET OF PRIME NUMBERS , 1976 .

[37]  Undecidable existential problems for addition and divisibility in algebraic number rings. II , 1977 .

[38]  Thanases Pheidas,et al.  Hilbert's Tenth Problem for fields of rational functions over finite fields , 1991 .

[39]  Alexandra Shlapentokh.  Extension of Hilbert's tenth problem to some algebraic number fields , 1989 .

[40]  J. Robinson.  The undecidability of algebraic rings and fields , 1959 .

[41]  Ki Hang Kim,et al.  Problems equivalent to rational Diophantine solvability , 1989 .

[42]  C. Ward Henson,et al.  Correction to: “Some applications of Nevanlinna theory to mathematical logic: identities of exponential functions” [Trans. Amer. Math. Soc. 282 (1984), no. 1, 1–32; MR0728700 (85h:03015)] , 1986 .

[43]  Dan Segal,et al.  Some general algorithms. I: Arithmetic groups , 1980 .

[44]  Julia Robinson.  Existential definability in arithmetic , 1952 .

[45]  James Ax,et al.  The Elementary Theory of Finite Fields , 1968 .

[46]  H. N. Shapiro,et al.  Diophantine relationships between algebraic number fields , 1989 .

[47]  A. L. Semënov.  LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS , 1984 .

[48]  F. W. Roush,et al.  Diophantine Unsolvability over p-Adic Function Fields , 1995 .

[49]  James Ax,et al.  Solving Diophantine Problems Modulo Every Prime , 1967 .