Endliches Modell/Einelementige elementare Äquivalenzklassen/Isomorphie/Aufgabe
Es sei ein Symbolalphabet und sei eine endliche -Struktur mit der Eigenschaft, dass alle elementaren Äquivalenzklassen einelementig seien. Beweise Fakt
in diesem Fall.Es sei ein Symbolalphabet und sei eine endliche -Struktur mit der Eigenschaft, dass alle elementaren Äquivalenzklassen einelementig seien. Beweise Fakt
in diesem Fall.