Zusammenfassung
Wir brauchen große Kardinalzahlen, um richtige Antworten auf Fragen zu erhalten – grundsätzliche Fragen, die wir ohne große Kardinalzahlen nicht beantworten könnten. Beispiele hierzu sind etwa Fragen bezüglich projektiver Mengen reeller Zahlen.
Doch es gilt mehr. Oftmals schaffen große Kardinalzahlen sogar erst den geeigneten Rahmen für die Diskussion eines vorliegenden Problems. Ein Beispiel hierfür ist das Cantorsche Kontinuumsproblem – nachdem über mehrere Jahrzehnte hinweg klar zu sein schien, daß große Kardinalzahlen für dieses Problem bedeutungslos sein sollten, widerlegen neuere Forschungen diese Annahme sehr eindringlich.
Wir müssen etwas ausholen, um die Rolle großer Kardinalzahlen in der modernen Mengenlehre – und insbesondere bezüglich des Kontinuumsproblems – dokumentieren zu können.
Literatur
Cantor, G.: Über eine Eigenschaft des Inbegriffs aller reellen Zahlen. J. Math. 77, 258–262 (1874)
Cohen, P.: The independence of the continuum hypothesis I. Proc. Natl. Acad. Sci. USA 50, 1143–1148 (1963)
Foreman, M.: Generic large cardinals, new axioms for mathematics? In: Proc. Int. Congress Math., vol. II, pp. 11–21. Berlin 1998
Foreman, M., Magidor, M.: Large cardinals and definable counterexamples to the continuum hypothesis. Ann. Pure Appl. Logic 76, 47–97 (1995)
Goldstern, M., Shelah, S.: The bounded proper forcing axiom. J. Symb. Log. 60, 58–73 (1995)
Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatsh. Math. Phys. 37, 349–360 (1930)
Gödel, K.: Über formal unentscheidbare Sätze der ,,Principia Mathematica“ und verwandter Systeme I. Monatsh. Math. Phys. 38, 173–198 (1931)
Gödel, K.: The consistency of the axiom of choice and of the generalized continuum hypothesis. Proc. Natl. Acad. Sci. USA 24, 556–557 (1938)
Hausdorff, F.: Grundzüge der Mengenlehre. E. Brieskorn et al. (Hrsg.), Gesammelte Werke Bd. 2. Springer 2002
Hilbert, D.: Mathematische Probleme. Vortrag vom 8. August 1900 auf dem internationalen Mathematiker-Kongreß zu Paris. In: Nachr. Akad. Wiss. Gött., II. Math.-Phys. Kl. 1900, Heft 3, pp. 253–297
Martin, D.: Measurable cardinals and analytic games. Fundam. Math. 66, 287–291 (1970)
Martin, D., Steel, J.: Projective determinacy. Proc. Natl. Acad. Sci. USA 85, 6582–6586 (1988)
Moore, J.: Proper forcing, the continuum, and uncountable linear orders. Bull. Symb. Logic 11, 51–60 (2005)
Paris, J., Harrington, L.: A mathematical incompleteness in Peano arithmetic. In: J. Barwise (ed.), Handbook for Mathematical Logic. North Holland 1977
Schindler, R.: The core model for almost linear iterations. Ann. Pure Appl. Logic 116, 205–272 (2002)
Schindler, R.: Semi-proper forcing, remarkable cardinals, and Bounded Martin’s Maximum. Math. Log. Q. 50, 527–532 (2004)
Sierpinski, W.: Les ensembles projectifs et analytiques. Mem. Sci. Math. 112 (1950)
Todorcevic, S.: Generic absoluteness and the continuum, Math. Res. Lett. 9, 1–7 (2002)
Woodin, W.H.: The axiom of determinacy, forcing axioms, and the nonstationary ideal. de Gruyter 1999
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schindler, R. Wozu brauchen wir große Kardinalzahlen?. Math. Semesterber. 53, 65–80 (2006). https://doi.org/10.1007/s00591-005-0101-1
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s00591-005-0101-1