Inter-universal geometry と ABC予想 31

Inter-universal geometry と ABC予想 31at MATH

Inter-universal geometry と ABC予想 31 - 暇つぶし2ch612:１３２人目の素数さん
18/10/01 01:08:27.26 rOXPD540.net
>>348のDavid Robertsだが、実はIUTT論文発表直後にMathOverflowでこんなことを書いている
URLﾘﾝｸ(mathoverflow.net)
206のコメント欄
-----------------------
As far as the interuniversal aspect of IUTT goes, I expect it to have a topos-theoretic interpretation.
This to my mind makes switching between models of set theory cleaner i.e. functoria

次ページ

続きを表示

1を表示