Zum Inhalt springen

Isomorphielemma/Elementare Äquivalenz/Fakt

Aus Wikiversity
Isomorphielemma

Es seien und isomorphe -Strukturen über einem Symbolalphabet .

Dann sind und elementar äquivalent.

Genauer: Zu einem Isomorphismus

und einer Variablenbelegung auf und der zugehörigen Variablenbelegung auf mit den zugehörigen Interpretationen und gilt für jeden -Ausdruck die Äquivalenz