• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

算術の部分体系とそのモデルについての研究

研究課題

研究課題/領域番号 07640277
研究種目

一般研究(C)

配分区分補助金
研究分野 数学一般(含確率論・統計数学)
研究機関東北大学

研究代表者

田中 一之  東北大学, 大学院・理学研究科, 助教授 (70188291)

研究分担者 長澤 壮之  東北大学, 大学院・理学研究科, 助教授 (70202223)
尾形 庄悦  東北大学, 大学院・理学研究科, 助教授 (90177113)
押切 源一  東北大学, 大学院・理学研究科, 助教授 (70133931)
中村 哲男  東北大学, 大学院・理学研究科, 教授 (90016147)
吉野 崇  東北大学, 大学院・理学研究科, 教授 (50005774)
研究期間 (年度) 1995
研究課題ステータス 完了 (1995年度)
配分額 *注記
2,500千円 (直接経費: 2,500千円)
1995年度: 2,500千円 (直接経費: 2,500千円)
キーワード数学基礎論 / 2階算術 / 逆数学 / 超準的手法
研究概要

1.本研究のねらいは,数学のある定理を証明するのにどれだけの公理や前提が必要になるかを調べ,それによって様々な数学分野の様々な定理の間に成り立つ理論的関係を明らかにして行くことである。とくに2階算術と呼ばれる枠組みにおいて,ある定理を証明するのに必要かつ十分となる集合存在公理が何かを決定する数学基礎論の研究プログラムを「逆数学」といい,その研究成果として多くの重要定理が二分木に対するケ-ニヒの補題(WKL)と論理的に同値なることが知られている.
2.私(研究代表者)は,ケ-ニヒの補題(WKL)を主要公理とする2階算術の体系WKL_0のモデルに関して自分が得た結果を応用し,超準解析的な方法で常微分方程式の局所解の存在に関するペアノの定理や連続関数に関する様々な諸性質をWKL_0で証明した.また,WKL_0のモデルに関する別の新しい性質も発見し,その応用について現在考察を続けている.
3吉野崇氏は,様々な作用素について値域の包含関係を精密に分析した.中村哲男氏は,有限体上の形式群の特性多項式について研究した.押切源一氏は,有向グラフの議論を使うことで葉層構造のある性質についての特徴づけに成功した.尾形庄悦氏は,アーベル多様体の退化の指数不足数をエータ関数を計算した.長澤壮之氏は,双曲型方程式に対する様々な非線形問題に関して多くの結果を得た。

報告書

(1件)
  • 1995 実績報告書
  • 研究成果

    (7件)

すべて その他

すべて 文献書誌 (7件)

  • [文献書誌] K. Tanaka: "A non-standard proof of the Reano existence theovem in WKLo" 京大数理解析研講究録. 912. 57-63 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] T. Yoshino: "Remark on the range inclusions of Toeplitz and Hankel operators" Proc. Japan Acad.71. 168-170 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] T. Nakamura: "On characteristic pdynomials of formal groups over finite fields" Math. Machrichten. (to appear). (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] G. Oshikiri: "A remark on oriented graphs" Interdisciplinary Information Sciences. 2(to appear). (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] S. Ogata: "Signatuve defects and etafunctions of degeneration of abelian varieties" J. Math. Soc. of Japan. (to appear). (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] T. Nagasawa: "Weak soutions of a semilinear hyperbolic systems on a non-decreasing domain" Math. Methods in Appl. Sci.(to appear).

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 吉野崇: "(基礎課題)微分方程式" 培風館, 120 (1995)

    • 関連する報告書
      1995 実績報告書

URL: 

公開日: 1995-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi