Das System ZF Die Formale Sprache.- Die Metasprache.- Modelle.- Absolutheit und Definierbarkeit.- Innere Modelle.- Das konstruktible Modell.- Die Cohensche Erzwingungsmethode.- Lösung der Frage von Addison.- Die Erzwingungsbeziehung als Booleschwertige Wahrheitsdefinition.- B-wertige Modelle.- Generische Modelle.- Maximale innere IB-Modelle.- Unabhängigkeit von V=L.- Unabhängigkeit der Kontinuum-Hypothese.- Einbettungssatz für ZF-Modelle.- Unabhängigkeit des Auswahlaxioms.
Inhaltsverzeichnis
Das System ZF Die Formale Sprache.- Die Metasprache.- Modelle.- Absolutheit und Definierbarkeit.- Innere Modelle.- Das konstruktible Modell.- Die Cohensche Erzwingungsmethode.- Lösung der Frage von Addison.- Die Erzwingungsbeziehung als Booleschwertige Wahrheitsdefinition.- B-wertige Modelle.- Generische Modelle.- Maximale innere IB-Modelle.- Unabhängigkeit von V=L.- Unabhängigkeit der Kontinuum-Hypothese.- Einbettungssatz für ZF-Modelle.- Unabhängigkeit des Auswahlaxioms.
