[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

8(2): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)14:46 ID:S5Jl1CaY(6/44) AAS
層とトポスと直観論理と強制法で連続体仮説
外部ﾘﾝｸ:sites.google.com
筑波大学 数理物質系数学域助教竹内耕太
外部ﾘﾝｸ:sites.google.com
category_seminar_3 企画　「圏論への招待」2012
外部ﾘﾝｸ:sites.google.com
3日目　「トポスとは何か：圏論的視点での強制法」：佐藤桂 - Kota Takeuchi:
省14

---

29: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:30 ID:S5Jl1CaY(25/44) AAS
>>8 関連

外部ﾘﾝｸ:www.jstage.jst.go.jp
トポスの基礎Part Ｉ 論理からみたトポス 倉田令二朗 SUGAKU Vol. 35 (1983) No. 1 Released: December 25, 2008
(抜粋)
§0.序論
(1) トポスの登場.トポスはGrothendieck Topos, Lawvereの圏論的集合論と論理の圏論的解
釈の研究1),および伝統的なcHa(complete Heyting algebra)上の直観主義論理の結合としてLaw
省15

---

75(3): 昔のスレ主の発言再掲載 2016/10/31(月)23:56 ID:u06Rireb(1/2) AAS
それで、>>8-11に書いたように、決定番号が有限に収まらない数列の実例が構成できる
もちろん、こうして構成した（決定番号が有限に収まらない）数列の実例が、R^Nが収まらないとか言いたいのかもね（＾＾

別にかまわん。それが、数学的に”fully rigorous”に証明できるならね
だが、出来ないだろう

区間（０，２）の連結した１本の数列
1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・＞ 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・ の存在

自然な順序で整列したこの可算無限の数列の存在は、否定できまい
省3

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.036s