Endliche Struktur/Logische Äquivalenzklassen/Isomorphie/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolmenge und eine endliche -Struktur. Zeige, dass zwei Elemente genau dann elementar äquivalent sind, wenn es einen -Automorphismus

mit

gibt.