Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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.
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.
Inhaltsverzeichnis
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.
Details
Fachbereich: Allgemeines
Genre: Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Lecture Notes in Mathematics
Inhalt: x
178 S.
ISBN-13: 9783540039082
ISBN-10: 3540039082
Sprache: Deutsch
Einband: Kartoniert / Broschiert
Autor: Jensen, R. B.
Redaktion: Leven, F. J.
Hersteller: Springer
Springer Spektrum
Springer-Verlag GmbH
Lecture Notes in Mathematics
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 11 mm
Von/Mit: R. B. Jensen
Gewicht: 0,295 kg
Artikel-ID: 102161639