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

高階の帰納的関数の研究

高阶递归函数的研究

基本信息

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

项目摘要

1.第2階の算術体係のモデルとして、従来集合論的立場から考えられていたβ-モデルについて、高階の帰納的関数論の立場からとらえることにより弱い形の内包公理をみたすβ-モデルを特徴づける結果を得た。(1)【Δ(^1-C)】-内包公理をみたすβ-モデルは、KP集合論から【Δ^C】。-収集公理を除いた体系に直積公理、無限公理およびBetaを付け加えたものの推移モデルの実数部分として特徴づけられる。(2)【π(^1-1)】内包公理をみたすβ-モデルは、hyperjumpに関して閉じているω-モデルとして特徴づけられる。(3)【Δ(^1-2)】内包公理をみたす可算なβ-モデルは、【E^1】以上のdegreeをもつ型2の対象の1-sectionとして特徴づけられる。2.小澤正直はブール値解析学によるA【W^*】一環の理論の翻訳原理を確立し、埋め込み可能A【W^*】一環の特徴づけの問題を解決するとともに、その応用として、traceの加法性の問題を解明した。3.安本雅洋は、ノンスタンダードアナリシスの手法を算術体系に適用することにより、等差数列と多項式に関するSchinzelの定理と同様の果が等比数列の場合にも成立することを示した。4.代数的研究グループでは、ヒルベルトの定理および淡中-寺田の単項化定理を統一的な観点からとらえることにより、これらの定理の拡張に成功した。また、素数ΡΞ1(mod4)の新しい不変量を定義し、それらの不変量と類数との間の関係を調べた。5.幾何学的研究グループにおいては、主として【C^ω】Nash多様体の構造を調べ、【C^ω】Nash多様体上の【C^ω】Nash関数に関する拡張定理を得た。

1. The second order arithmetical system is based on the position of set theory, and the position of high order arithmetical system is based on the position of weak form and inclusion axiom. (1)[Δ(^1-C)]-The inclusion axiom β-, KP set theory [Δ^C]. - The axiom of direct product, the axiom of infinity and the axiom of Beta are added to the axiom of set division. (2)[π(^1-1)] The inclusion axiom β-, hyperjump (3)[Δ(^1-2)] The inclusion axiom can be calculated as β-,[E^1] above the degree 2. Ozawa Masayoshi A [W^*] one-ring theory of inversion principle to establish, buried, possible A [W^*] one-ring characteristics of the problem to solve, and so on. 3. An Ben Ya Yang, the method of calculation, the application of the algorithm, the arithmetic sequence and the polynomial, the theorem of the same effect, the case of the equal ratio sequence, and so on. 4. The study of algebra is successful in expanding the theorem of algebra. The prime number p 1(mod4) is defined as a new variable, and the relationship between the variable and the class number is adjusted. 5. In the study of geometry, the structure of the Nash polyhedron is adjusted, and the expansion theorem of the Nash relation on the Nash polyhedron is obtained.