抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
n<ωでは,κがΠ ̄1_n-indescribableな基本であり,κのあらゆるΠ ̄1_n-indescribable部分集合がΠ ̄1_n-indescribableな適切な初期セグメントを持つならば,Π ̄1_n-反射原理がκと書き込みRefl_n(κ)に留まると言われている。Π ̄1_n-反射原理Refl_n(κ)は一定の静止反射原理を一般化し,κが秩序ωのΠ ̄1_n-indescribableであることを意味する。著者らは,この含意の逆位が,事例n=1で虚偽になることを示す強制を定義した。さらに,κが(α+1)弱コンパクトで,α<κ ̄+のとき,弱くコンパクトな適切な初期セグメントを持たない弱いコンパクト集合W→∞が存在する強制拡張があり,弱いコンパクト性基体クラスが保存され,κが(α+1)弱コンパクトに保たれることを証明した。さらに,Π ̄1_1-反射原理に対する回復結果を証明した。【JST・京大機械翻訳】