Cardinal grande
En teoría de conjuntos, un cardinal grande es un número cardinal con alguna propiedad especial que implica que su tamaño es «grande» en algún sentido. En general, la existencia de un cardinal grande implica la consistencia con ZFC, por lo que dicha existencia no puede probarse.
El salto entre los cardinales infinitos «pequeños» y los cardinales grandes es similar al salto entre los números naturales y los cardinales infinitos. El primer cardinal infinito ℵ0 no puede alcanzarse mediante el principio básico de generación de los números naturales: el paso de un número al siguiente. Los cardinales grandes incluyen entre otros a los cardinales inaccesibles, los cardinales de Mahlo y los cardinales débilmente compactos.
Referencias
- Koeliner, Peter. «Independence and Large Cardinals». The Stanford Encyclopedia of Philosophy (en inglés). Consultado el 6 de diciembre de 2013.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.