3,264 followers
@DaiskeIkegami @zhanpon 元々弱い算術上の次数構造の研究自体が少なかったというか、黎明期はSlamanやWoodin近傍の人たち http://t.co/HHf2lFUbRE で、そこからシンガポールに研究が渡って、ずっと広がることが無かったという感じです
@DaiskeIkegami @zhanpon 元々弱い算術上の次数構造の研究自体が少なかったというか、黎明期はSlamanやWoodin近傍の人たち http://t.co/HHf2lFUbRE で、そこからシンガポールに研究が渡って、ずっと広がることが無かったという感じです
RT @tri_iro: 久しぶりにこの辺 http://t.co/ffpwyIUa http://t.co/Fl3QPyAQ の弱い算術(限定算術よりはちょっと強め)の上での計算論の復習をしてたけど、超準モデル上の計算論はやっぱこわい。無限回の計算が有限時間で終わったり、なんか時空が圧縮される。
久しぶりにこの辺 http://t.co/ffpwyIUa http://t.co/Fl3QPyAQ の弱い算術(限定算術よりはちょっと強め)の上での計算論の復習をしてたけど、超準モデル上の計算論はやっぱこわい。無限回の計算が有限時間で終わったり、なんか時空が圧縮される。