Endliche Struktur/Logische Äquivalenzklassen/Isomorphie/Aufgabe
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.