Endliche Struktur/Logische Äquivalenzklassen/Isomorphie/Aufgabe
Es sei ein Symbolmenge und eine endliche -Struktur. Zeige, dass zwei Elemente genau dann elementar äquivalent sind, wenn es einen -Automorphismus
mit
gibt.Es sei ein Symbolmenge und
eine
endliche
-Struktur.
Zeige, dass zwei Elemente
genau dann
elementar äquivalent
sind, wenn es einen
-Automorphismus
mit