Endliches Modell/Elementar äquivalent und isomorph/Fakt
Es sei ein Symbolalphabet und es seien und -Strukturen, wobei endlich sei.
Dann sind und genau dann elementar äquivalent, wenn sie zueinander isomorph sind.
Es sei ein Symbolalphabet und es seien
und
-Strukturen,
wobei
endlich sei.
Dann sind
und
genau dann
elementar äquivalent,
wenn sie zueinander isomorph sind.