| |
|
| Artikel-Nr.: 858A-9783540039082 Herst.-Nr.: 9783540039082 EAN/GTIN: 9783540039082 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | R. B. Jensen; F. J. Leven | Verlag: | Springer Berlin | Sprache: | ger |
|
| | |
| | | |
| Weitere Suchbegriffe: Auswahlaxiom; Erzwingung; Kontinuumhypothese, Auswahlaxiom, Erzwingung, Kontinuumhypothese, Mengenlehre |
| | |
| |