##  [Élimination des Imaginaires](/fr/node/60395) 

  ##  [Élimination des Imaginaires](https://mathlogic.quantumdictionary.io/fr/node/60396) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Propriété d'une théorie selon laquelle chaque classe d'équivalence définissable (un « imaginaire ») peut être codée par un tuple d'éléments réels (des sortes de base), de sorte que chaque imaginaire possède un paramètre canonique dans les sortes réelles et qu'aucune sorte imaginaire supplémentaire n'est nécessaire.

 

 

 

 

 





 

 



 ##  [Élimination des Imaginaires](https://algebra.quantumdictionary.io/fr/node/63614) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Propriété d'une théorie indiquant que tout ensemble définissable (avec paramètres) admet un paramètre canonique (un « imaginaire ») dans les sortes de base ou dans une expansion définissable, de sorte que les quotients définissables sont représentés par des éléments réels ou des sortes nommées.