数学 › 圏論・ホモロジー代数 › 圏・関手・自然変換

到達不能基数

定義 2.4(「圏・関手・自然変換」§2)

基数 κ\kappa が次の 3 条件を満たすとき、(強)到達不能基数という。(i) κ>ω\kappa > \omega、(ii) κ\kappa は正則(cf(κ)=κ\mathrm{cf}(\kappa) = \kappa)、(iii) 任意の基数 λ<κ\lambda < \kappa について 2λ<κ2^{\lambda} < \kappa。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 1 件