可測基数の存在⇒omega_1はL上でinaccessible
っていう有名な定理があるのですが、私が知っている証明はSilver indescerniblesとかを使うものだけです。なんかもっと初等的な証明ないかなぁとかちょっと考えたりしてみたのですがどうにも。何かよい方法はあるんでしょうか。上にあるの話もそれがらみで紹介できたらよかったのですが。
っていう有名な定理があるのですが、私が知っている証明はSilver indescerniblesとかを使うものだけです。なんかもっと初等的な証明ないかなぁとかちょっと考えたりしてみたのですがどうにも。何かよい方法はあるんでしょうか。上にあるの話もそれがらみで紹介できたらよかったのですが。