Inter-universal geometry と ABC予想 22

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 22 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

215(1): 2017/12/24(日)16:02 ID:4PSfZe6J(1) AAS
?が数理論理パートってマジ？集合論なりモデル論使ってるの？

220(1): 2017/12/24(日)16:23 ID:LcR/okrf(1/2) AAS
>>215
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
IUTT-?の§3で、Spices（＝Inter-universal Formalism）っていう新しいSet-theoretic Foundationを展開してる
Set-theoristやCategoristなら普通に読めそうな内容