[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
316(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)09:52 ID:B5CZ4/Lr(2/13) AAS
>>205 補足（キューネン読んで）
（>>58）
外部ﾘﾝｸ[pdf]:blacaman.tripod.com
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999
外部ﾘﾝｸ:www.amazon.co.jp
集合論―独立性証明への案内 単行本 ? 2008/1/1
ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳)
省29
317(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)09:54 ID:B5CZ4/Lr(3/13) AAS
>>316
つづき
P101
Foundation
does rule out certain pathologies. For example, we remarked in §2 that there
is no x ∈ WF such that x ∈ x, so Foundation implies that ￢∃x (x ∈ x) (or,
apply the axiom directly to show ∃y ∈ {x} (y ∩ {x} = 0), so x ∩ {x} = 0,
省17
318(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)11:33 ID:B5CZ4/Lr(4/13) AAS
>>316 追加
ここ、尾畑伸明先生（下記）に詳しい解説があったね（＾＾
外部ﾘﾝｸ:www.math.is.tohoku.ac.jp
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室－システム情報数理学II研究室－
尾畑伸明：集合・写像・数の体系 数学リテラシーとして
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
第3章 集合の演算 GAIRON-book : 2018/6/21(19:23)
省23
397(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)20:33 ID:B5CZ4/Lr(8/13) AAS
>>316-318 <まとめ>
外部ﾘﾝｸ[pdf]:blacaman.tripod.com
An Introduction to Independence Proofs K KUNEN/キューネン First edition: 1980 Seventh impression: 1999 （藤田 博司 (翻訳)）
P100
§4. The Axiom of Foundation
AXIOM 2. Foundation.
∀x(∃y(y∈x)→∃y(y∈x ∧ ￢∃z(z∈x ∧ z∈y))).
省32
422(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/17(日)11:02 ID:gAStfvWk(8/16) AAS
>>416
＞順序数αが順序数の集合Cの最小元である⇔α∩C＝\emptyset というのは、どうも確かめる度にぱずりんぐ
(>>397より)
・極小元を、x_minとする。∈を、等号（=）を含まない、不等号＜に書き換える
↓
・極小元を、x_minとする。∈は不等号＜と考えるが書き換えはなし
として、
省27
538(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/19(火)08:47 ID:EYNP5QFV(2/8) AAS
>>537
つづき
(>>397より)
・極小元を、x_minとする。∈を、等号（=）を含まない、不等号＜に書き換える
↓
・極小元を、x_minとする。∈は不等号＜と考えるが書き換えはなし
として、
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s