Mixed quantifier prefixes over Diophantine equations with integer variables

M. Davis, Arithmetical problems and recursively enumenrable predicates

1953

Earlier work this paper cites.

M. Davis, H. Putnam and J. Robinson, The decision problem for exponential diophantine equations

1961

Earlier work this paper cites.

Y. Matiyasevich, Enumerable sets are diophantine

1970

Earlier work this paper cites.

M. Davis, Hilbert’s tenth problem is unsolvable

1973

Earlier work this paper cites.

Y. Matiyasevich, On recursively unsolvability of Hilbert’s tenth problem

1973

Earlier work this paper cites.

Y. Matiyasevich and J. Robinson, Two universal 3 3 -quantifier representations of r.e. sets

1974

Earlier work this paper cites.

Y. Matiyasevich and J. Robinson, Reduction of an arbitrary diophantine equation to one in 13 unknowns

1975

Earlier work this paper cites.

Y. Matiyasevich, Arithmetical representation of enumerable sets with a small number of quantifiers

1976

Earlier work this paper cites.

Y. Matiyasevich, Some purely mathematical results inspired by mathematical logic

1977

Earlier work this paper cites.

N. Cutland, Computability, Cambridge Univ. Press, Cambridge, 1980

1980

Earlier work this paper cites.

J. P. Jone, Classification of quantifier prefixes over Diophantine equations

1981

Cited alongside, same era.

J. P. Jones, Universal Diophantine equation

1982

Cited alongside, same era.

S. P. Tung, On weak number theories

1985

Cited alongside, same era.

S. P. Tung, Computational complexities of Diophantine equations with parameters

1987

Cited alongside, same era.

K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory

1990

Cited alongside, same era.

Z.-W. Sun, Reduction of unknowns in Diophantine representations

1992

Cited alongside, same era.

Z.-W. Sun, A new relation-combining theorem and its application

J. Richter-Gebert and U. H. Kortenkamp, Complexity issues in dynamic geometry

2002

Later among the works it cites.

A. Shlapentokh, Hilbert’s Tenth Problem: Diophantine Classes and Extensions to Global Fields. New Mathematical Monographs, Vol. 7, Cambridge Univ. Press, Cambridge, 2007

2007

Later among the works it cites.

B.-K. Oh and Z.-W. Sun, Mixed sums of squares and triangular numbers

2009

Later among the works it cites.

Y. Matiyasevich and Z.-W. Sun, On Diophantine equations over ℤ ⁡ [ i ] \mathbb{Z}[i] with 52 52 unknowns

Original

2020

Later among the works it cites.

A. B. Matos, L. Paolini and L. Roversi, The fixed point problem of a simple reversible language

2020

Later among the works it cites.