[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
37(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:20 ID:z0Cctf8f(2/10) AAS
>>36 追加
「モストフスキ崩壊補題」で、関連ありそうな箇所を、下記追加引用しておく
外部ﾘﾝｸ:ja.wikipedia.org
モストフスキ崩壊補題
(抜粋)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
省7
38(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:30 ID:z0Cctf8f(3/10) AAS
>>37 補足
＞応用
＞ZFの集合モデルは集合状かつ外延的である。
”集合状”かｗ、これ意味わからんと思ったが（＾＾
”Every set model of ZF is set-like and extensional. ”の「set-like」の直訳だね（＾＾；
＜参考引用、該当英文箇所＞ (なお、Applicationも、”応用”より”適用”が適訳かもね。微妙だが)
外部ﾘﾝｸ:en.wikipedia.org
省13
40(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)17:45 ID:z0Cctf8f(5/10) AAS
>>37-38 補足
重箱の隅かも知れないが
良く読むと
和訳
だからMは正則性公理を満たす(内部的には整礎的である)が、
Rは整礎的関係でなく、この崩壊補題も適用できない。
英文
省17
50: 2019/09/11(水)19:27 ID:h4/yIPnA(10/12) AAS
>>36-38 >>40
ニワトリ 理解もできないことを理解したつもりで
見当違いのコケコッコーｗｗｗｗｗｗｗ
66(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:12 ID:cMDg8k3q(2/6) AAS
>>55 追加
分かりました、分かりました（＾＾
要するに、正則性公理→フォン・ノイマン宇宙やね
そして、我々が通常学部数学扱う集合は、フォン・ノイマン宇宙内
フォン・ノイマン宇宙内は、「遺伝的整礎集合全体のクラス」
で、モストフスキ崩壊補題（>>37）「ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である」
なので、普通（ＺＦＣ内で）はベン図で議論してよいってことだな（＾＾
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s