A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
van den Dries, Lou
Bull. Amer. Math. Soc. (N.S.), Tome 14 (1986) no. 1, p. 189-193 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1986-10-14
Classification:  03E47 
@article{1183553469,
     author = {van den Dries, Lou},
     title = {A generalization of the Tarski-Seidenberg theorem, and some nondefinability results},
     journal = {Bull. Amer. Math. Soc. (N.S.)},
     volume = {14},
     number = {1},
     year = {1986},
     pages = { 189-193},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183553469}
}

van den Dries, Lou. A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. Bull. Amer. Math. Soc. (N.S.), Tome 14 (1986) no. 1, pp.  189-193. http://gdmltest.u-ga.fr/item/1183553469/