Zum Inhalt springen

Ausdrucksmengen/Inklusion/Kanonische Modelle/Aufgabe

Aus Wikiversity

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.