スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8ｗ)

押すなよ、押すなよ…

服従したら他人の上に立てないから

>>685
>・『また、もし可測基数が存在するなら、冪集合操作を「定義可能な」程度に反復するよう抑えると、ゲーデルの構成可能宇宙 L が得られ、そこでは「可測基数が存在する」という主張は成立しなくなる (even though it contains the measurable cardinal as an ordinal)』
完全な嘘。
まず、LはVの内部モデルだから、L内にすべての順序数（したがって全ての基数）が存在する。つまり縦方向の高さはVと同じ。
もちろん可測基数λも存在する。但し、L内でλはその性質（λの存在⇒λ上の非自明なλ加法性を満たす測度の存在⇔λ完備な自由超フィルタの存在）を保てない、つまり有るけれどλと認識されない。
それが
>even though it contains the measurable cardinal as an ordinal
の意味。

まあ理論とモデルの区別すらあやふやなおサルさんの耳に念仏だろうけど