ガロア第一論文と乗数イデアル他関連資料スレ16

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

24: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/20(日) 21:17:04.34 ID:dTKHYPg5

つづき

https://elecello.com/doc/set/set0005.pdf
集合論ノート0005
モストフスキ崩壊補題 (Mostowski Collapse Lemma)
近藤友祐(@elecello )
初稿: 2018年2月22日 更新: 2019年11月24日この文書の場所： https://elecello.com/works.html
2019 年 11 月24日追記：エゴサーチしていたら，5ちゃんねるのスレッド「現代数学の系譜 工学物理雑談古典ガロア理論も読む77」にこの文書が引用されているのを見つけました*1．この文書を大幅に更新した2019年9月16日の翌日に書き込みがなされていて少し気持ち悪いですが，ただの偶然でしょうか．このスレッドでのやりとり(というか口喧嘩)の内容について特にコメントはしませんが，私はこのスレッドを含め「現代数学の系譜工学物理雑談古典ガロア理論も読む」シリーズに書き込んだことは一切ありません．　
本稿では，集合論の推移的-モデルを作るにあたって重要な，モストフスキ崩壊補題について述べる．

https://fuchino.ddo.jp/kobe/
神戸大学での講義のページ (渕野 昌)
https://fuchino.ddo.jp/kobe/kurahashi-mostowski-updated.pdf
数理論理学特論レポート工学研究科情報知能学専攻
倉橋太志

次の定理を証明せよ．
定理2. モストフスキーの崩壊定理X : 集合，E をX 上でwell-founded かつ extensional な２項関係とする．このとき，推移的な集合M と写像f で
f :(X,E) ＊→ (M,∈) （注：＊は≒）
となるものが１意に存在する．

定理2の証明
略す

https://en.wikipedia.org/wiki/Epsilon-induction
Epsilon-induction, ∈-induction, also called epsilon-induction or set-induction, is a principle that can be used to prove that all sets satisfy a given property. Considered as an axiomatic principle, it is called the axiom schema of set induction.
The principle implies transfinite induction and recursion. It may also be studied in a general context of induction on well-founded relations.
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1744899342/24

上下前次 1-新書関写板覧索設栞歴

あと 978 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.020s