Modelle der Mengenlehre: Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms [1 ed.] 9783540039082, 3540039082 [DJVU]

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