Modelltheorie/Relative Automorphismengruppe/Konstantenanreicherung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet, eine -Struktur und eine -Unterstruktur. Zeige, dass man durch eine Symbolmengenerweiterung , wobei nur Konstanten hinzugenommen werden, erreichen kann, dass die relative Automorphismengruppe der -Automorphismengruppe entspricht

(dazu muss insbesondere auf und interpretiert werden).