Elimination der Imaginären Elemente

Eine Eigenschaft einer Theorie, dass jede definierbare Äquivalenzklasse (ein ‚Imaginäres‘) durch ein Tupel ‚reeller‘ Elemente (aus den Basissorten) codiert werden kann, sodass jedes Imaginäre einen kanonischen Parameter in den realen Sorten hat und keine zusätzlichen imaginären Sorten nötig sind.

Eigenschaft einer Theorie, dass jede definierbare Menge (mit Parametern) ein kanonisches Parameter-Element (ein »Imaginäres«) in den Basissorten oder in einer definierbaren Erweiterung besitzt, sodass definierbare Quotienten durch reale Elemente oder benannte Sorten repräsentiert werden.