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