En la teoría de conjuntos , una disciplina matemática, un cardinal reflector es un número cardinal κ para el cual existe un ideal normal I en κ tal que para cada X ∈ I + , el conjunto de α∈κ para el cual X se refleja en α está en I + . (Se dice que un subconjunto estacionario S de κ se refleja en α<κ si S ∩α es estacionario en α). Los cardenales reflectores fueron introducidos por ( Mekler & Shelah 1989 ).
Cada cardenal débilmente compacto es un cardenal reflector, y es también un límite de cardenales reflectores. La fuerza de consistencia de un cardenal reflectante inaccesible es estrictamente mayor que la de un cardenal muy Mahlo, donde un cardenal κ se llama muy Mahlo si es κ + -Mahlo ( Mekler & Shelah 1989 ). Sin embargo, un cardenal reflector inaccesible no es en general Mahlo, consulte https://mathoverflow.net/q/212597 .