Ausdrucksmengen/Inklusion/Kanonische Modelle/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien widerspruchsfreie Ausdrucksmengen, die unter Ableitungen abgeschlossen seien, und seien bzw. die gemäß der Konstruktion zugehörigen Modelle. Zeige, dass es einen -Homomorphismus

gibt.
Eine Lösung erstellen