抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ZFにおける古典的組合せ定理の可能性を調べた。コンビナトリアル議論を用いて,著者らは,各無限基本π ̄*O_n,(1)κ ̄+→(κ,ω+1),(2)任意のファミリーA...π[O_n] ̄{||} ̄{|} ̄{|} ̄{|} ̄’} ̄R}次の状態はZFでは証明できないが,ZFでは等価である。(i)cf(ω_1)=ω_1, (II)ω_1→(ω_1,ω+1)~2, (III>[O_n] ̄{O_n](ω_1)はサイズω_1のΔ系を含む。関数fは「ω_1」iff dom(f)=ω_1の「均一デナミネーション」であり,全てのα<ω_1,f(α)はωからαへの関数である。ω_1の均一計数の存在はcf(ω_1)=ω_1を意味する。逆含意の失敗は,アクセス不能な基の存在性と矛盾しないことを証明した。【JST・京大機械翻訳】