3,614 followers
@yotsunva そういえばFourman & Hyland論文読んだことありますか?層トポスにおける実数の話が主に扱われてます。 https://t.co/mDyHfS48kO
@yotsunva そういえばFourman & Hyland論文読んだことありますか?層トポスにおける実数の話が主に扱われてます。 https://t.co/mDyHfS48kO
Costeによる圏論的論理学を用いた一般化が知られています。 https://t.co/HbsoZcecc2 しかしCosteの論文は、 ・証明の詳細が与えられていない ・スペクトラムの構造層を明示的に構成していない という理由から、枠組みとして不十分でした。
@EscardoMartin It is all contained in this paper, and the pdf of the entire volume is freely accessible: https://t.co/dglEEwJvQh