Skip to main content
    • Aa
    • Aa

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

  • Sergio Fratarcangeli (a1)

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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1] Z. Chatzidakis and A. Pillay , Generic structures and simple theories, Annals of Pure and Applied Logic, (1998), no. 95, pp. 7192.

[4] W. Hodges , Model theory, Cambridge University Press, 1993.

[8] B. Poizat , A course in model theory, Springer-Verlag, 2000.

[9] L. van den Dries , Tame topology and o-minimal structures, Cambridge University Press, 1998.

[10] 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. 1944.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *