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)
Contents
Definitions
Examples
References
Imaginary element Wikipedia(Text) CC BY-SA