Endliches Modell/Keine Funktionssymbole/Elementare Äquivalenz/Isomorphie/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet ohne Funktionssymbole und sei eine endliche -Struktur.

  1. Charakterisiere die Automorphismengruppe von mit Hilfe der elementaren Äquivalenzklassen.
  2. Beweise Fakt in diesem Fall.