Follow

ふとRiemannの再配列定理(Riemann rearrangement theorem)の逆数学的な強さを調べようと思って考えたら普通にRCA_0で証明できたので何も面白いことは起きなかった,残念

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.