Endliches Modell/Elementar äquivalent und isomorph/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und es seien und -Strukturen, wobei endlich sei.

Dann sind und genau dann elementar äquivalent, wenn sie zueinander isomorph sind.