Zum Inhalt springen

Endliches Modell/Einelementige elementare Äquivalenzklassen/Isomorphie/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet und sei eine endliche -Struktur mit der Eigenschaft, dass alle elementaren Äquivalenzklassen einelementig seien. Beweise Fakt

in diesem Fall.