Modelle der Mengenlehre: Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms

Ronald Björn Jensen (auth.)9783540039082, 3540039082

Table of contents :
Das System ZF Die Formale Sprache….Pages 1-15
Die Metasprache….Pages 16-18
Modelle….Pages 19-23
Absolutheit und Definierbarkeit….Pages 24-44
Innere Modelle….Pages 45-66
Das konstruktible Modell….Pages 67-82
Die Cohensche Erzwingungsmethode….Pages 83-96
Lösung der Frage von Addison….Pages 97-99
Die Erzwingungsbeziehung als Booleschwertige Wahrheitsdefinition….Pages 100-103
B -wertige Modelle….Pages 104-110
Generische Modelle….Pages 111-117
Maximale innere IB-Modelle….Pages 118-133
Unabhängigkeit von V=L….Pages 134-144
Unabhängigkeit der Kontinuum-Hypothese….Pages 145-154
Einbettungssatz für ZF-Modelle….Pages 155-158
Unabhängigkeit des Auswahlaxioms….Pages 159-167