Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-24T00:45:20.629Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  12 March 2014

Sergio Fratarcangeli
Sergio Fratarcangeli*
Affiliation:
Department of Mathematics and Statistics, Mcmaster University, Hamilton. Ontario L8S 4K1., Canada, E-mail: fratars@math.mcmaster.ca
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

generic predicateselimination of imaginarieso-minimal structures
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 70 , Issue 4 , December 2005 , pp. 1150 - 1160
Copyright
Copyright © Association for Symbolic Logic 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Chatzidakis, Z. and Pillay, A., Generic structures and simple theories, Annals of Pure and Applied Logic, (1998), no. 95, pp. 71–92.CrossRefGoogle Scholar
[2]Friedman, H., On expansions of o-minimal structures, www.math.ohio-state.edu/~friedman, 1996.Google Scholar
[3]Haskell, D., Hrushovski, E., and Macpherson, D., Definable sets in algebraically closed valued fields, Part I: Elimination of imaginarles, preprint, pp. 44–45, 2002.Google Scholar
[4]Hodges, W., Model theory, Cambridge University Press, 1993.CrossRefGoogle Scholar
[5]Miller, C., 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.CrossRefGoogle Scholar
[6]Miller, C. and Speissegger, P., Expansions of the real line by open sets: o-minimality and open cores, Fundamenta Mathematicae, (1999), no. 162, pp. 193–208.Google Scholar
[7]Miller, C. and Steinhorn, C., Expansions of densely ordered groups: o-minimality and open cores, preprint.Google Scholar
[8]Poizat, B., A course in model theory, Springer-Verlag, 2000.CrossRefGoogle Scholar
[9]den Dries, L. van, Tame topology and o-minimal structures, Cambridge University Press, 1998.CrossRefGoogle Scholar
[10]Ziegler, M., 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 (Bouscaren, E., editor), Springer-Verlag, 1998, pp. 19–44.CrossRefGoogle Scholar