Wysoki kardynał

W matematyce wysoki kardynał to duży kardynał κ , który jest θ -wysoki dla wszystkich liczb porządkowych θ , gdzie kardynał nazywa się θ -wysoki, jeśli istnieje elementarne osadzenie j : V → M z punktem krytycznym κ takim, że j ( κ ) > θ i M ^κ ⊆ M.

Wysocy kardynałowie są jednakowo zgodni z silnymi kardynałami .

•     Hamkins, Joel David (2009), „Wysocy kardynałowie”, MLQ. Mathematical Logic Quarterly , 55 (1): 68–86, doi : 10.1002/malq.200710084 , ISSN 0942-5616 , MR 2489293 , S2CID 19062078