Elimination of imaginaries in expansions of o-minimal structures by generic sets
Fratarcangeli, Sergio
J. Symbolic Logic, Tome 70 (2005) no. 1, p. 1150-1160 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Let TP be the theory obtained by adding a generic predicate to an o-minimal theory T. We prove that if T admits elimination of imaginaries, then TP also admits elimination of imaginaries.
Publié le : 2005-12-14
Classification:  generic predicates,  elimination of imaginaries,  o-minimal structures,  03C64 
@article{1129642120,
     author = {Fratarcangeli, Sergio},
     title = {Elimination of imaginaries in expansions of o-minimal structures by generic sets},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 1150-1160},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1129642120}
}

Fratarcangeli, Sergio. Elimination of imaginaries in expansions of o-minimal structures by generic sets. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  1150-1160. http://gdmltest.u-ga.fr/item/1129642120/