- 137 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/09/14(土) 00:12:55.76 ID:QdZ5TU5n.net]
- >>124 追加
過去スレで、矢田部俊介先生の「公理論的集合論（情報科学特別講義 III）」も取り上げた記憶があるね〜（＾＾
おもしろいね〜ｗ
https://researchmap.jp/ytb/
矢田部俊介
https://researchmap.jp/mu1x9nhhd-21099/
資料公開
タイトル 公理論的集合論
カテゴリ 講義資料
概要 お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
https://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
公理論的集合論（情報科学特別講義 III）
矢田部俊介 ?
2013 年 2 月 17 日
? 京都大学文学部大学院文学研究科
Ｐ21
4.4 推移的モデルとモストウスキ崩壊
集合論のモデルを扱う場合、一口にモデルと言ってもいろいろなモデルがある。多くの場合、モデルが ∈ に
関し推移的である（x ∈ y ∈ M ならば x ∈ M）であると証明が楽である。しかし、そうである保証はない。
例えば、集合が urelements を含んでいる場合を考えよう。u が urelemant であるとは、u 自身は集合では
ないが、他の集合は u を含むことができるもののことをいう。例えば、{u} は集合となる。この urelement は
いかなる集合も元として
|
 |
