Imaginary element

In mathematical model theory, an imaginary element of a structure is roughly a definable equivalence class. These were introduced by Shelah (1990), and elimination of imaginaries was introduced by Poizat (1983)

Definitions

Examples

See also

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.