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