of WKL0 over IΣ1 using the Arithmetized Completeness Theorem, which, in particular, constitutes an ω-interpretation of WKL0 in IΣ1. We also show that.
確定! 回上一頁