1989 Fiscal Year Annual Research Report
| Project/Area Number |
01540178
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
篠田 寿一 名古屋大学, 教養部, 助教授 (30022685)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
三宅 克哉 名古屋大学, 教養部, 教授 (20023632)
井原 俊輔 名古屋大学, 教養部, 教授 (00023200)
松本 幾久二 名古屋大学, 教養部, 教授 (90023522)
横井 英夫 名古屋大学, 教養部, 教授 (50023560)
安本 雅洋 名古屋大学, 教養部, 講師 (10144114)
|
|---|
| Keywords | Kleene次数 / 連続体仮説 / 決定性公理 / 極小次数 / 構成可能性公理 |
|---|
| Research Abstract |
自然数上の型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-{Φ}の極小元が存在するか否かは依然として未解決である。
|
-
[Publications] J.Shinoda and T.A.Slaman: "The continuum hypothesis and the theory of the kleene degrees." Lecture Notes in Mathematics(Springer-Verlag). 1388. 153-177 (1989)
-
[Publications] Masahiro Yasumoto: "Nonstandard arithmetic of iterated polynomials." Manuscripta Mathematica. 66. 227-235 (1990)
-
[Publications] Hideo Yokoi: "Bounds for fundamental units and class numbers of real quadratic fields with prime discriminant." Nagoya University Preprint Series(Dept.Math.Coll.Gen.Educ.,Nagoya Univ.). 2. (1989)
-
[Publications] T.Kurokawa and K.Matsumoto: "Meromorphic functions with a perfect set as the set of singularities." Pitman Research Notes in Mathematics Series. 212. 123-148 (1989)
-
[Publications] S.Ihara and K.Yanagi: "Capacity of discrete time Gaussian channel with and without feedback." Japan J.Appl.Math.6. 245-258 (1989)
-
[Publications] Katsuya Miyake: "Algebraic investigations of Hilbert's theorem 94,the principal ideal theorem and the capitulation problem." Expositiones Mathematicae. 7. 289-346 (1989)
-
[Publications] J.Shinoda,T.A.Slaman and T.Tugue(eds.): "Springer-Verlag" Mathematical Logic and Applications Lecture Notes in Mathematics vol.1388. 1989. (223)
