Relations diophantiennes et la solution négative du 10e problème de Hilbert
Séminaire Bourbaki : vol. 1970/71, exposés 382-399, Séminaire Bourbaki, no. 13 (1971), Exposé no. 383, 18 p. 
@incollection{SB_1970-1971__13__11_0,
     author = {Azra, Jean-Pierre},
     title = {Relations diophantiennes et la solution n\'egative du 10e probl\`eme de {Hilbert}},
     booktitle = {S\'eminaire Bourbaki : vol. 1970/71, expos\'es 382-399},
     series = {S\'eminaire Bourbaki},
     note = {talk:383},
     pages = {11--28},
     publisher = {Springer-Verlag},
     number = {13},
     year = {1971},
     mrnumber = {469884},
     zbl = {0268.02030},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1970-1971__13__11_0/}
}
TY  - CHAP
AU  - Azra, Jean-Pierre
TI  - Relations diophantiennes et la solution négative du 10e problème de Hilbert
BT  - Séminaire Bourbaki : vol. 1970/71, exposés 382-399
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:383
PY  - 1971
SP  - 11
EP  - 28
IS  - 13
PB  - Springer-Verlag
UR  - http://www.numdam.org/item/SB_1970-1971__13__11_0/
LA  - fr
ID  - SB_1970-1971__13__11_0
ER  - 
%0 Book Section
%A Azra, Jean-Pierre
%T Relations diophantiennes et la solution négative du 10e problème de Hilbert
%B Séminaire Bourbaki : vol. 1970/71, exposés 382-399
%A Collectif
%S Séminaire Bourbaki
%Z talk:383
%D 1971
%P 11-28
%N 13
%I Springer-Verlag
%U http://www.numdam.org/item/SB_1970-1971__13__11_0/
%G fr
%F SB_1970-1971__13__11_0
Azra, Jean-Pierre. Relations diophantiennes et la solution négative du 10e problème de Hilbert, dans Séminaire Bourbaki : vol. 1970/71, exposés 382-399, Séminaire Bourbaki, no. 13 (1971), Exposé no. 383, 18 p. http://www.numdam.org/item/SB_1970-1971__13__11_0/

[1] David Hilbert - Mathematische Probleme. Vortrag gehalten auf dem internationalen Mathematiker-Kongress zu Paris 1900. Traduction anglaise, Bull. Amer. Math. Soc., 8 (1901/1902), 437-479. | JFM

[2] Julia Robinson - Existential definability in aritmetic, Trans. A.M.S., vol. 72 (1952), 437-449. | MR | Zbl

[3] Martin Davis, Hilary Putnam and Julia Robinson - The decision problem for exponential diophantine equations, Annals of Math., vol. 74 (1961), 425-436. | MR | Zbl

[4] Iu.V. Matiasevitch - Enumerable sets are diophantine, Soviet Mathematics, Mar-Apr. 1970, vol. 11, number 2, p. 354. | Zbl

[5] Daniel Lacombe - La théorie des fonctions récursives et ses applications, Bull. Soc. Math. France, 88 (1960), 393-468. | Numdam | MR | Zbl

[6] Hilary Putnam - An unsolvable problem in number theory, J. of Symb. Logic, t. 25 (1960), 220-232. | MR | Zbl

[7] Martin Davis - An explicit diophantine definition of the exponential function, (non publié).