权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

高階の帰納的関数の研究

高阶递归函数的研究

基本信息

批准号：
01540178
负责人：
篠田寿一
金额：
$ 0.9万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1989
资助国家：
日本
起止时间：
1989 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01540178/
关键词：
Kleene次数連続体仮説決定性公理極小次数構成可能性公理

项目摘要

自然数上の型2の対象のKleene次数のなす順序集合(K,【less than or equal】)の構造に関して以下のような1.(K,【less than or equal】)の部分順序集合としてどのようとなものが許されるかという問題に関して、濃度が連続体の濃度2^<κo>以下のいかなる型の順序構造も可能であるとこが比較的容易に分かる。連続体仮説を仮定するとき、このような順序構造はすべて(K,【less than or equal】)において一様に定義可能であることを示した。すなわち有限個のパラメ-タ-(実際には8個)を変化させることにより、濃度が2^<xo>以下のすべての順序構造を一つの定義式を用いて(K,【.ltireq.】)の中で表現することができ2.濃度2^<χo>の順序集合を適当にとって、実数全体のなす集合2^<χo>をその演算を含めたコ-ドすることができる。したがって、連続体仮説を仮定するとき、実数の理論は本質的に(K,【less than or equal】)の理論の中に埋め込まれる。3.連続体仮説を仮定するとき、濃度が2^<χo>以下のイデアルに対して、その完全対(exact pair)が存在する。したがって、Kの濃度2^<χo>以下の部分集合は2個の型の2の対象によりコ-ドできる。これを用いて、(V_<w+2>,【element】)の理論を(K,【less than or equal】)の理論に埋め込むことができる。この結果は本質的に連続体仮説を用いており、連続体仮説を用いない証明を見出すことは今後の研究課題である。4.K-{Φ}に極小元が存在するか否かという問題に関しては最終的な結論を得るに到らなかった。無限ゲ-ムに関するΔ^1_2-決定性公理を仮定すれば、ΦのsuperjumpΦ^′がK-{Φ}の極小元であることが示される。1方、V=Lを仮定するとき、Φ^′は極小でないことが既に知られているので、Φ^′がK-{Φ}の極小元であるという主張はZFCと独立な命題となる。しかしV=Lの仮定のもとで、K-{Φ}の極小元が存在するか否かは依然として未解決である。

The construction of the Kleene order set (K,[less than or equal]) of the objects of type 2 on natural numbers is related to the following: 1. (K,[less than or equal]) The partial sequence set is allowed to be separated from the problem of concentration. The concentration of the substance is 2 ^<κ o>. The order of the structure is K,[less than or equal]. A finite number of-(actually 8)<xo>2. The order of concentration 2 <χ o> is set appropriately, and the number of total sets 2 <χ o> is calculated by including the following: (K,[less than or equal]) 3. The exact pair exists when the concentration is less than 2 ^<χ o>. The concentration of K is 2 ^<χ o>. (V_<w +2>,[element]) theory (K,[less than or equal]) theory The results of this study are presented in the following paragraphs. 4. K-{Φ} is the minimum element. The infinite matrix is related to Δ ^1_2-determinism, Φ and superjump Φ ^′, and K-{Φ} is the smallest element. 1 square, V = L V = L is a constant, K-{Φ} is a minimal element, and K-{Φ} is an unsolved problem.