Inom modellteori säges en teori S vara modellkompis till en teori T om: Varje modell för T är inbäddbar i en modell för S Varje modell för S är inbäddbar i en…
Inom modellteori säges en teori S vara modellkompis till en teori T om:
Varje modell för T är inbäddbar i en modell för S Varje modell för S är inbäddbar i en modell för T S är modellfullständig
Ett relaterat begrepp är modellkomplettering.
Kategori:Modellteori
Na podstawie: Wikipedia — Modellkompis · historia autorów.
Tekst: CC BY-SA 4.0.
Usunięto składnię wiki i szablony; dłuższe teksty skrócono.