Skip to main content
×
Home
    • Aa
    • Aa

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

  • Sergio Fratarcangeli (a1)
Abstract
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.

Copyright
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? *
×

Keywords: