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.
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für Beruf und Forschung
Research
Illustrationen
Maße
Höhe: 235 mm
Breite: 155 mm
Dicke: 11 mm
Gewicht
ISBN-13
978-3-540-03908-2 (9783540039082)
DOI
Schweitzer Klassifikation
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.
