The following relationship between Eq and WKLq follows from results of Ishihara.5 We give a direct proof. Lemma 2. FS h E0 WKL0 Proof.
確定! 回上一頁