## [Compagnon de Modèle](/fr/node/60484) ## [Compagnon de Modèle](https://mathlogic.quantumdictionary.io/fr/node/60485) [![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 Une théorie T* est un compagnon de modèle d'une théorie T lorsque T* est modèle-complète, que T et T* ont les mêmes conséquences universelles, et que les modèles de T* sont exactement les modèles existentialement clos de T (équivalemment, tout modèle de T s'embedd dans un modèle de T*). ## [Compagnon de Modèle](https://puremath.quantumdictionary.io/fr/node/61559) [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics) - Mathematics & Logic - **Pure Mathematics Dictionary** Définition Une théorie compagnon T* d'une théorie T est une théorie telle que (i) T et T* ont les mêmes conséquences universelles, (ii) tout modèle de T s'embedde dans un modèle de T*, et (iii) T* est modèle-complète (tout plongement entre modèles de T* est élémentaire). Lorsqu'elle existe, T* capture la fermeture modèle-complète de la partie universelle de T. ## [Compagnon de Modèle](https://algebra.quantumdictionary.io/fr/node/63593) [![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 Une théorie T* est un compagnon de modèle d'une théorie T si T* est modèle‑complète et si tout modèle de T s'embed (s'immerge) dans un modèle de T* (équivalemment T et T* ont les mêmes conséquences universelles), de sorte que T* incarne canoniquement le comportement existentialement clos relatif à T.