La théorie d'un anneau de polynômes
Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 77-84. 
@incollection{MSMF_1984_2_16__77_0,
     author = {Bauval, Anne},
     title = {La th\'eorie d'un anneau de polyn\^omes},
     booktitle = {Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 \`a Paris},
     editor = {Delon, F. and Lascar, D. and Parigot, M. and Sabbagh, G.},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {77--84},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {16},
     year = {1984},
     doi = {10.24033/msmf.314},
     mrnumber = {87a:03065},
     zbl = {0563.12027},
     url = {http://archive.numdam.org/articles/10.24033/msmf.314/}
}
TY  - CHAP
AU  - Bauval, Anne
TI  - La théorie d'un anneau de polynômes
BT  - Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
AU  - Collectif
ED  - Delon, F.
ED  - Lascar, D.
ED  - Parigot, M.
ED  - Sabbagh, G.
T3  - Mémoires de la Société Mathématique de France
PY  - 1984
SP  - 77
EP  - 84
IS  - 16
PB  - Société mathématique de France
UR  - http://archive.numdam.org/articles/10.24033/msmf.314/
DO  - 10.24033/msmf.314
ID  - MSMF_1984_2_16__77_0
ER  - 
%0 Book Section
%A Bauval, Anne
%T La théorie d'un anneau de polynômes
%B Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
%A Collectif
%E Delon, F.
%E Lascar, D.
%E Parigot, M.
%E Sabbagh, G.
%S Mémoires de la Société Mathématique de France
%D 1984
%P 77-84
%N 16
%I Société mathématique de France
%U http://archive.numdam.org/articles/10.24033/msmf.314/
%R 10.24033/msmf.314
%F MSMF_1984_2_16__77_0
Bauval, Anne. La théorie d'un anneau de polynômes, dans Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 77-84. doi : 10.24033/msmf.314. http://archive.numdam.org/articles/10.24033/msmf.314/

[B1] A. Bauval : Une condition n飥ssaire d'é±µivalence 鬩mentaire entre anneaux de polynô­¥€ sur des corps, C.R. Acad. Sc., Paris, t. 295 (1982), s鲩e I, pp. 31-33. | MR | Zbl

[B2] A. Bauval : La th鯲ie du premier ordre des anneaux de polynô­¥€ sur des corps, thè³¥ de 3° cycle, Université <e Paris VII, 1983.

[B3] A. Bauval : Polynomial rings and weak second order logic, soumis au J.S.L. | Zbl

[P] P.C. Pappas : The model theoretic structure of group rings, Ph. D. Thesis, Pennsylvania State University, 1982.

[R] R. Robinson : Undecidable rings, Transactions A.M.S. 1951, pp. 181-203. | MR | Zbl

Cité par Sources :