[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新

---

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

---

313(11): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)23:27 ID:BZV1IQOW(4/5) AA×
>>306>>250

外部ﾘﾝｸ[1773]:arxiv.org
外部ﾘﾝｸ[1773]:arxiv.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
313: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 23:27:10.30 ID:BZV1IQOW >>306 (引用開始) セタへの問題 >Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする. のとき >∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) の自由変数をすべて書け (引用終り) ふっふ、ほっほ あのな、それよりか 下記 Colin McLarty https://arxiv.org/abs/1102.1773 の圏論のロジック（矢印図）読めるのか？ キミはｗｗ　（＾＾； どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ いまどきは 圏論のロジック（矢印図）の方が重要だと思うよ （例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね） 　>>250 より再録 Colin McLarty has looked into this The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325, doi:10.1017/S1755020319000340, https://arxiv.org/abs/1102.1773 http://rio2016.5ch.net/test/read.cgi/math/1761878205/313
引用開始 セタへの問題 を集合論の論理式 の以外の自由変数はで はの自由変数でないとする のとき の自由変数をすべて書け 引用終り ふっふほっほ あのなそれよりか 下記 の圏論のロジック矢印図読めるのか？ キミは どうも読めなさそうに見えるけどよ どうなの？ いまどきは 圏論のロジック矢印図の方が重要だと思うよ 例えば とかねなお 集合の論理式も 辺りに 出てくるけどね より再録

---

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

---

あと 689 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.039s