Follow

Cauchy列による収束性の特徴付けの偉いところは「ある実数に収束する」という,アプリオリには$\mathbf{\Sigma}^1_1$な文を「Cauchy列である」という$\mathbf{\Pi}^0_3$文に落とせることを主張していることですね

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.