## Journal of Symbolic Logic

### Elimination of imaginaries in expansions of o-minimal structures by generic sets

Sergio Fratarcangeli

#### Abstract

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.

#### Article information

Source
J. Symbolic Logic, Volume 70, Issue 4 (2005), 1150-1160.

Dates
First available in Project Euclid: 18 October 2005

https://projecteuclid.org/euclid.jsl/1129642120

Digital Object Identifier
doi:10.2178/jsl/1129642120

Mathematical Reviews number (MathSciNet)
MR2194242

Zentralblatt MATH identifier
1108.03045

Subjects
Primary: 03C64: Model theory of ordered structures; o-minimality

#### Citation

Fratarcangeli, Sergio. Elimination of imaginaries in expansions of o-minimal structures by generic sets. J. Symbolic Logic 70 (2005), no. 4, 1150--1160. doi:10.2178/jsl/1129642120. https://projecteuclid.org/euclid.jsl/1129642120

#### References

• Z. Chatzidakis and A. Pillay Generic structures and simple theories, Annals of Pure and Applied Logic,(1998), no. 95, pp. 71--92.
• H. Friedman On expansions of o-minimal structures, www.math.ohio-state.edu/$\sim$friedman},{1996.
• D. Haskell, E. Hrushovski, and D. Macpherson Definable sets in algebraically closed valued fields, Part I: Elimination of imaginaries, preprint, pp. 44--45,2002.
• W. Hodges Model theory, Cambridge University Press,1993.
• C. Miller Tameness in expansions of the real field, Logic Colloquium '01 (Vienna), Lecture Notes in Logic, vol. 20, Association of Symbolic Logic,2005, pp. 281--316.
• C. Miller and P. Speissegger Expansions of the real line by open sets: o-minimality and open cores, Fundamenta Mathematicae,(1999), no. 162, pp. 193--208.
• C. Miller and C. Steinhorn Expansions of densely ordered groups: o-minimality and open cores, preprint.
• B. Poizat A course in model theory, Springer-Verlag,2000.
• L. van den Dries Tame topology and o-minimal structures, Cambridge University Press,1998.
• M. Ziegler Introduction to stability theory and Morley rank, Model theory and algebraic geometry An introduction to E. Hrushovski's proof of the Geometric Mordell-Lang Conjecture (E. Bouscaren, editor), Springer-Verlag,1998, pp. 19--44.