论文信息 - Classification of Quantifier Prefixes Over Diophantine Equations - 字舞流文

Classification of Quantifier Prefixes Over Diophantine Equations

[1] Raphael M. Robinson,et al. Arithmetical representation of recursively enumerable sets , 1956, Journal of Symbolic Logic.

[2] Raphael M. Robinson. Arithmetical definitions in the ring of integers , 1951 .

[3] Hilary Putnam,et al. An unsolvable problem in number theory , 1960, Journal of Symbolic Logic.

[4] Yu. V. Matiyasevich. Arithmetical representations of enumerable sets with a small number of quantifiers , 1976 .

[5] Martin D. Davis,et al. Arithmetical problems and recursively enumerable predicates , 1953, Journal of Symbolic Logic.

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

[7] Yu. V. Matijasevič. Some Purely Mathematical Results Inspired by Mathematical Logic , 1977 .