ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

Inter-universal geometry と ABC予想 (応援スレ) 77

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>313 > >>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
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 2.892s