Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1981_258_1_a1, author = {Yu. L. Ershov}, title = {Eliminability of quantifiers in regularly closed fields}, journal = {Doklady Akademii Nauk}, pages = {16--20}, publisher = {mathdoc}, volume = {258}, number = {1}, year = {1981}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1981_258_1_a1/} }
Yu. L. Ershov. Eliminability of quantifiers in regularly closed fields. Doklady Akademii Nauk, Tome 258 (1981) no. 1, pp. 16-20. http://geodesic.mathdoc.fr/item/DAN_1981_258_1_a1/