[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

932(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)19:59 ID:ivt0JCXh(26/37) AAS
>>931
つづき
４）
ZFCG-modelを考えたけど、ギブアップしたのかな（＾＾；

P67
Section 3: Inter-universal Formalism: the Language of Species

(†G) Given any set x, there exists a universe V such that x ∈ V .
省24

---

933(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)20:01 ID:ivt0JCXh(27/37) AAS
>>932
つづき
５）
a [small] category は、集合論ZFC内の speciesでやれる？

P71
Remark 3.1.4. Note that because the data involved in a species is given by
abstract set-theoretic formulas, the mathematical notion constituted by the species
省21

---

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

---

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

---

ぬこの手 ぬこTOP 0.034s