我们有一种很弱的不可达基数,根据容许基数的反义词,所以我们叫做不容许基数,不容许基数仅仅在连续统假设不成立时才会出现。
容许基数的意思就是非递归点,常常是奇异基数,所以我们取反面的不容许基数,就是可以递归得出,但是却是正则基数。
如果一个基数α,满足α是弱不可达基数,可是任意一个比α小的基数(大于等于阿列夫零)通过幂运算,均比这个α都大,我们称α是不容许基数。当连续统不成立时,在2^阿列夫零以下的不容许基数称平凡不容许基数,大于2^阿列夫零的称真不容许基数,称α是不容许基数,仅当α大于2^阿列夫n且α是弱不可达基数,但任意的k^阿列夫(n+1)均比该α大。
绝不容许基数,α是大于2^阿列夫n的弱不可达基数,但是任意一个大于2^阿列夫n的基数且小于α的k均满足k^阿列夫零比α大。
请问,当连续统假设不成立时,不容许基数和绝不容许基数存在吗,存在的话最小的是哪个基数。
容许基数的意思就是非递归点,常常是奇异基数,所以我们取反面的不容许基数,就是可以递归得出,但是却是正则基数。
如果一个基数α,满足α是弱不可达基数,可是任意一个比α小的基数(大于等于阿列夫零)通过幂运算,均比这个α都大,我们称α是不容许基数。当连续统不成立时,在2^阿列夫零以下的不容许基数称平凡不容许基数,大于2^阿列夫零的称真不容许基数,称α是不容许基数,仅当α大于2^阿列夫n且α是弱不可达基数,但任意的k^阿列夫(n+1)均比该α大。
绝不容许基数,α是大于2^阿列夫n的弱不可达基数,但是任意一个大于2^阿列夫n的基数且小于α的k均满足k^阿列夫零比α大。
请问,当连续统假设不成立时,不容许基数和绝不容许基数存在吗,存在的话最小的是哪个基数。