Innehållsförteckning
4 relationer: Elementär ekvivalens, Modellfullständig, Modellkomplettering, Modellteori.
Elementär ekvivalens
Elementär ekvivalens är ett begrepp inom modellteori.
Se Modellkompis och Elementär ekvivalens
Modellfullständig
Inom modellteori sägs en teori T vara modellfullständig om varje modell är existentiellt sluten.
Se Modellkompis och Modellfullständig
Modellkomplettering
Modellkomplettering är inom modellteorin sägs en teori S vara en modellkomplettering till en teori T om.
Se Modellkompis och Modellkomplettering
Modellteori
Modellteori är ett stort ämnesområde med många delområden som alla på ett eller annat sätt handlar om studiet av modeller (strukturer) såsom dessa definieras inom logik.

