Prädikatenkalkül mit Gleichheit

Zusammenfassung

Wir betrachten hier Sprachen wie im vorigen Kapitel, verlangen aber jetzt, daß diese Sprachen das Zeichen = enthalten; wir interessieren uns auch nur für solche Realisierungen, in denen = die Identität darstellt. Es stellt sich heraus, daß diese (bzgl. der Gleichheit) normalen Realisierungen mit den Mitteln aus Kapitel 2 unterstucht werden können. Wenn wir Jedoch verlangen, daß ein bestimmtes Relationszeichen ein’e best immte Realisierung haben sail, wird die Theorie dieser Modelle im allgemeinen etwas anders als diejenige in Kapitel 2 aussehen, vgl. Die w-Modelle in Kapitel 6, Aufgabe 3(d).