Elementär ekvivalens
Utseende
Elementär ekvivalens är ett begrepp inom modellteori.
Elementärt ekvivalenta strukturer[redigera | redigera wikitext]
Två formella strukturer och är elementärt ekvivalenta, i symboler , om och satisfierar samma första ordningens satser.
En första ordningens teori är fullständig om och endast om alla dess modeller är elementärt ekvivalenta.
Elementära delstrukturer och elementära extensioner[redigera | redigera wikitext]
är en elementär delstruktur till ( är en elementär extension av ), i symboler , om det för alla första ordningens formler och element gäller att
omm .
Elementära inbäddningar[redigera | redigera wikitext]
är elementärt inbäddbar i , om det finns en elementär delstruktur till som är isomorf med