ソロヴェイの定理において，ジェネリックな実数の性質をうまくレヴィ崩壊と合わせて内部モデルの性質に帰着させているのが証明の大まかな流れです．今回はMathias realの性質からソロヴェイモデルにおいてω上に強い分割の性質が乗っていることを示しました．…