Prädikatenlogik/Bijektiver Homomorphismus/Nur Funktionssymbole/Isomorphismus/Aufgabe

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Es sei ${}S$ ein erststufiges Symbolalphabet, das keine Relationssymbole enthalte. Zeige, dass ein bijektiver ${}S$ -Homomorphismus zwischen zwei ${}S$ -Strukturen bereits ein ${}S$ -Isomorphismus

ist.

Eine Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Bijektiver_Homomorphismus/Nur_Funktionssymbole/Isomorphismus/Aufgabe&oldid=557910“

Theorie der Homomorphismen (Prädikatenlogik)/Aufgaben