[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
156: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)09:54 ID:gsEji7DN(6/21) AAS
>>154 訂正
証明 M を ZFC+GCH の可算推移的モデルとする．以下を満たす関数 p 全体がなす集合を P とする．
以下略
↓
命題 選択公理 ⇒ 可算和定理
証明 { Xn }n=0∞ を可算集合の族とする
略す
定理 「 R=∪n=0∞Xn ， |Xn|=アレフ0 とは書けない」は ZF で証明できない．
証明 M を ZFC+GCH の可算推移的モデルとする．以下を満たす関数 p 全体がなす集合を P とする．
以下略
まあ、壱大整域さんの原文サイトを見て下さい ；ｐ）
上下前次1-新書関写板覧索設栞歴
あと 846 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s