Format:
1 Online-Ressource (X, 178 S)
Edition:
Springer eBook Collection. Life Science and Basic Disciplines
ISBN:
9783540349761
,
9783540039082
Series Statement:
Lecture Notes in Mathematics 37
Content:
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
Additional Edition:
ISBN 9783540039082
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783540039082
Language:
German