Modelle der Mengenlehre
Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
Mitarbeit: Leven, F. J.
PAYBACK Punkte
0 °P sammeln!
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.
Andere Kunden interessierten sich für
