文書・図像類

「3次元的逆数学」のための基盤構築

Icons representing 文書・図像類

「3次元的逆数学」のための基盤構築

Material type
文書・図像類
Author
横山, 啓太
Publisher
-
Publication date
2015-06-01
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

数学の諸命題の強さを論理学の視点から分析する逆数学研究の基盤を広げ、より多様な視点から数学の諸命題の評価を行うことを目指して研究を行った。特に、これまで計算可能性理論の視点からの命題の強さの評価に偏りがちだった組み合わせ命題の強さについて、帰納法の強さ等の証明論的強さの視点からの評価を行うための諸種...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • JAIST Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Title
「3次元的逆数学」のための基盤構築
Author/Editor
横山, 啓太
Author Heading
横山, 啓太
Publication Date
2015-06-01
Publication Date (W3CDTF)
2015-06-01
Alternative Title
The start-up for reverse mathematics from various angles
Periodical title
科学研究費助成事業研究成果報告書
Pages
1-4
Text Language Code
jpn