Cтраница 4
В противном случае кардинал т называется предельным. Очевидно, & о - предельный кардинал а кардиналы Hi, № 2 - изолированные. [46]
Предположим, что кардинал Я нерегулярен. [47]
Покажите, что кардинал 1 1 неизмерим. [48]
ПРЕДЛОЖЕНИЕ 5.1.9. Пусть кардинал а бесконечен. [49]
Если а - регулярный кардинал, то совокупность D всех множеств X сг а, удовлетворяющих условию а X а, представляет собой сс-полный неглавный фильтр над а. Ниже мы увидим, что гораздо труднее найти а-полный неглавный ультрафильтр. Следующая лемма весьма полезна. [50]