Wikiいけめん
217
回編集
差分
ナビゲーションに移動
検索に移動
[到達不能基数の定義を挿入]* \( \alpha \geq \Omega \)である。* \( \alpha \)は正則である。すなわち、\( \alpha \)の共終数は\( \alpha \)である。* \( \alpha = \Omega_{\beta} \)となるような\( \beta \)が存在し、その\( \beta \)は極限順序数である。<ref>この記事ではGCHを仮定しているため、3番目はアレフ数でもベート数でも同じことである。</ref> 最小の到達不能基数は記号\( I \)で表される。 \( \Omega_{\Omega_{\Omega_{\ddots}}} \)は到達不能基数ではない。なぜなら、共終数が\( \omega \)だからである。\( I \)はこれよりもはるかに大きい。
==第3章 到達不能基数==
順序数\( \alpha \)が到達不能基数であるとは、次の3つの条件を満たすことである。
[ZFCとの独立性に関する言及を挿入]
