Tengo entendido que los cardenales grandes se ordenan por "fuerza de consistencia", pero ¿cómo se correlaciona esto con su tamaño (cardinalidad)?
Más específicamente, ¿existen resultados sistemáticos en la línea de: Si A y B son dos tipos de grandes cardenales tales que Contras (existe ZFC + Tipo A) => Contras (existe ZFC + Tipo B) ENTONCES Cardinalidad del cardinal tipo A más pequeño> = Cardinalidad del cardinal tipo B más pequeño