数学 › 圏論・ホモロジー代数 › 圏・関手・自然変換
到達不能基数
基数 が次の 3 条件を満たすとき、(強)到達不能基数という。(i) 、(ii) は正則()、(iii) 任意の基数 について 。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- 宇宙と到達不能基数✓定理 2.5・圏・関手・自然変換
数学 › 圏論・ホモロジー代数 › 圏・関手・自然変換
基数 が次の 3 条件を満たすとき、(強)到達不能基数という。(i) 、(ii) は正則()、(iii) 任意の基数 について 。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。