前スレが 1000または1000近くなったので 次スレ立てる
前スレ
https://rio2016.5ch.io/test/read.cgi/math/1791259233/1-

到達不能基数で
倒錯人がいる
中高生一貫校生も来るので
スレ立てる
まずは、下記など
以下順次

(google検索)
到達不能基数 モデル pdf
＜AI による概要＞
到達不能基数（inaccessible cardinal）が強到達不能基数である場合、フォン・ノイマン階層の Vκ は ZFC（ツェルメロ＝フレンケル集合論＋選択公理）の集合的モデルになります。
https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0

到達不能基数とモデルの基本性質
・強到達不能基数 κ：κ が非可算正則極限基数であり、λ < κ → 2^λ < κ を満たすとき、強到達不能基数と呼びます。
・ZFCのモデル Vκ：κ が強到達不能基数ならば、累積階層の切り口であるVκ は ZFC公理系のモデル（標準モデルの構造）になります。
・無矛盾性の強さ：κ の存在は ZFC 自身からは証明も否定もできず（不完全性定理）、その存在を仮定することは ZFC の無矛盾性を ZFC よりも強い仮定として認めることに相当します。
・弱到達不能基数とLκ：κ が弱到達不能基数の場合、ゲーデルの構成可能集合の累積 Lκ は ZF（選択公理を含まない系）のモデルになります。
https://www.math.tsukuba.ac.jp/~kota/ishii.pdf Lebesgue 可測性に関するSoloayの定理と実数の集合の正則性1石井大海筑波大学数理物質科学研究科数学専攻博士前期課程二年 2015
関連するオンラインの講義資料やPDFとしては、次のような解説が公開されています。
・公理論的集合論（情報科学特別講義 III）のPDFでは、到達不能基数と Vκ がモデルになる証明の概要が扱われています。
・ゲーデルの L とゼロ・シャープのPDFでは、可測基数や到達不能基数の性質について解説されています。
https://www.scribd.com/document/369587873/%E5%85%AC%E7%90%86%E8%AB%96%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96-%E6%83%85%E5%A0%B1%E7%A7%91%E5%AD%A6%E7%89%B9%E5%88%A5%E8%AC%9B%E7%BE%A9-III
公理論的集合論（情報科学特別講義 III）矢田部俊介 2013 京都大学

さらに詳しく知りたい場合は、以下の中からお知らせください。
•Vκが各公理（置換公理やべき集合公理など）を満たすことの証明の細部
・グロタンディーク宇宙（Grothendieck universe）との関連

(参考)
https://tenasaku.com/academia/
https://tenasaku.com/academia/notes/advent-20191204.pdf
ゲーデルのLとゼロ・シャープジタさん(fujitapiroc1964@twitter) 2019 年12月4日