• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 07640277
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionTohoku University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 長澤 壮之  東北大学, 大学院・理学研究科, 助教授 (70202223)
尾形 庄悦  東北大学, 大学院・理学研究科, 助教授 (90177113)
押切 源一  東北大学, 大学院・理学研究科, 助教授 (70133931)
中村 哲男  東北大学, 大学院・理学研究科, 教授 (90016147)
吉野 崇  東北大学, 大学院・理学研究科, 教授 (50005774)
Project Period (FY) 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 1995: ¥2,500,000 (Direct Cost: ¥2,500,000)
Keywords数学基礎論 / 2階算術 / 逆数学 / 超準的手法
Research Abstract

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

Report

(1 results)
  • 1995 Annual Research Report
  • Research Products

    (7 results)

All Other

All Publications (7 results)

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

    • Related Report
      1995 Annual Research Report
  • [Publications] T. Yoshino: "Remark on the range inclusions of Toeplitz and Hankel operators" Proc. Japan Acad.71. 168-170 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] T. Nakamura: "On characteristic pdynomials of formal groups over finite fields" Math. Machrichten. (to appear). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] G. Oshikiri: "A remark on oriented graphs" Interdisciplinary Information Sciences. 2(to appear). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] S. Ogata: "Signatuve defects and etafunctions of degeneration of abelian varieties" J. Math. Soc. of Japan. (to appear). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] T. Nagasawa: "Weak soutions of a semilinear hyperbolic systems on a non-decreasing domain" Math. Methods in Appl. Sci.(to appear).

    • Related Report
      1995 Annual Research Report
  • [Publications] 吉野崇: "(基礎課題)微分方程式" 培風館, 120 (1995)

    • Related Report
      1995 Annual Research Report

URL: 

Published: 1995-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi