Высокий кардинал
В математике высокий кардинал — это большой кардинал κ , который имеет θ -высокий уровень для всех ординалов θ , причем кардинал называется θ -высоким, если существует элементарное вложение j : V → M с критической точкой κ такое, что j ( κ ) > θ и М Мистер ⊆ М.
Высокие кардиналы равносовместимы с сильными кардиналами .
Ссылки
[ редактировать ]- Хэмкинс, Джоэл Дэвид (2009), «Высокие кардиналы», Mathematical Logic Quarterly , 55 (1): 68–86, doi : 10.1002/malq.200710084 , ISSN 0942-5616 , MR 2489293 , S2CID 19062078