12/01/15 08:48:03.56
>>304
URLﾘﾝｸ(ncatlab.org)
ここ見ると31の measurable cardinal が境界だそうだ。
だから 1-30 が small large cardinal で
32-60 が large large cardinal なんじゃないの？
middle large cardinal って聞いたことないけど、measurable のこと？
12/01/15 08:48:03.56
>>304
URLﾘﾝｸ(ncatlab.org)
ここ見ると31の measurable cardinal が境界だそうだ。
だから 1-30 が small large cardinal で
32-60 が large large cardinal なんじゃないの？
middle large cardinal って聞いたことないけど、measurable のこと？