Modellfullständig
 |
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2024-05) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Inom modellteori sägs en teori T vara modellfullständig om varje modell är existentiellt sluten.
Exempel:
- Teorin för algebraiskt slutna kroppar är modellfullständig.
- Teorin för täta linjära ordningar utan ändpunkter är modellfullständig.
- Teorin för slumpgrafen är modellfullständig.
- Teorin för differentiellt slutna kroppar är modellfullständig.
Givet en teori T, är man ofta intresserad av huruvida den har en modellkomplettering och en modellkompis.