Geodesic
Diophantine predicates
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 25 (1970) no. 4 
G. V. Chudnovskii. Diophantine predicates. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 25 (1970) no. 4. http://geodesic.mathdoc.fr/item/RM_1970_25_4_a17/
@article{RM_1970_25_4_a17,
     author = {G. V. Chudnovskii},
     title = {Diophantine predicates},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     year = {1970},
     volume = {25},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/RM_1970_25_4_a17/}
}
TY  - JOUR
AU  - G. V. Chudnovskii
TI  - Diophantine predicates
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1970
VL  - 25
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/RM_1970_25_4_a17/
LA  - ru
ID  - RM_1970_25_4_a17
ER  - 
%0 Journal Article
%A G. V. Chudnovskii
%T Diophantine predicates
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1970
%V 25
%N 4
%U http://geodesic.mathdoc.fr/item/RM_1970_25_4_a17/
%G ru
%F RM_1970_25_4_a17

Voir la notice de l'article provenant de la source Math-Net.Ru

[1] M. Davis, H. Putnam, J. Robinson, “The decision problem for exponential diophantine equations”, Ann. of Math., 74:3 (1961), 425–436 | DOI | MR | Zbl

[2] W. Sierpinski, Elementary theory of numbers, Warzawa, 1964 | MR

[3] J. Robinson, “Unsolvable diophantine problems”, Proc. Amer. Math. Soc., 22:2 (1969), 534–538 | DOI | MR | Zbl

[4] J. Robinson, “Existential definability in arithmetic”, Trans. Amer. Math. Soc., 72:3 (1952), 437–449 | DOI | MR | Zbl