Isomorphielemma/Elementare Äquivalenz/Fakt
Erscheinungsbild
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