Modellkomplettering
Wikipedia
Modellkomplettering, inom modellteorin sägs en teori S vara en modellkomplettering till en teori T om:
- S är en modellkompis för T, dvs:
- Varje modell för T går att inbädda i en modell för S
- Varje modell för S går att inbädda i en modell för T
- S är modellfullständig
- S har kvantorelimination
Exempel:
- Teorin för algebraiskt slutna kroppar är modellkompletteringen för teorin för kroppar, samt för teorin för helhetsområden
- Teorin för täta linjära ordningar utan ändpunkter är modellkompletteringen för teorin för linjära ordningar.
