抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
逆数学,有効解析,および強い低減の文脈において,k分割とl色(DRT ̄k_l)に対する二重Ramsey定理を解析した。RCA_0上では,Baire彩色のために記述された二重Ramsey定理は,クロペン彩色の状態と純粋にコンビナトリアルな定理cDRT ̄k_lと等価である。定理がBorel彩色とk≧3に対して記述されるとき,得られた原理はcDRT ̄k_lの本質的に再分割される。各αに対して,αが無限または有限であるかどうかに依存して,φ(α)またはφ(α-1)を計算するのに,任意の分割が均一であるようなΔ ̄0_α着色に対する計算可能なBorel符号がある。k=2では,原理の有効内容に限界を与える部分結果を示した。Δ ̄0_n低減の弱いバージョンは,RCA_0+IΣ ̄0_n-1上のD ̄n_2と強いWeihrauch還元のセンスと等価である。【JST・京大機械翻訳】
