En matemáticas, un cardinal alto es un cardinal grande κ que es θ -alto para todos los ordinales θ , donde un cardinal se llama θ -alto si hay una incrustación elemental j : V → M con punto crítico κ tal que j ( κ ) > θ y M κ ⊆ M.
Los cardenales altos son equiconsistentes con los cardenales fuertes .
Referencias
- Hamkins, Joel David (2009), "Tall cardinals", Mathematical Logic Quarterly , 55 (1): 68–86 , doi : 10.1002/malq.200710084 , ISSN 0942-5616 , MR 2489293 , S2CID 19062078
Categorías :
- Cardenales grandes
- esbozos de teoría de conjuntos