16/08/14 17:44:54.26 tcoX5rXp.net
>>63
どうも。スレ主です。
失礼、１０^Nは非可算無限だったね。ご指摘ありがとう
まあ、言いたかったことは、前スレ>>699 >>751 での引用によれば
決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」ってことで
そこまで（１０^Nまで）落とせば、可測にできるんじゃないかと
そして、時枝解法自身でなくとも、そのミニモデルで
「それの証明ってあるかな？ 100個中99個だから99/100としか言ってるようにしか見えないけど」の部分で、「100個中99個だから99/100」の反例が構成できるだろうと
そう思って、決定性公理を調べたわけ
時枝問題の決定番号では、少し考えれば、「100個中99個だから99/100」とはならないことはすぐ分かるが
が、それを証明するのが、なかなか難しい
だから、この話がなかなか決着しないのだが・・