课题基金 / 基金详情

A study of sheaf models in constructive reverse mathematics

A study of sheaf models in constructive reverse mathematics
构造逆向数学中的层模型研究
批准号：
16K05251
负责人：
ISHIHARA Hajime
金额：
$3.0万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K05251/
关键词：
構成的数学逆数学層モデル数学基礎論

项目摘要

项目成果

ISHIHARA Hajime的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Constructive reverse mathematics: an introduction and recent results
构造性逆向数学：简介和最新结果
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio and Thomas Streicher, Hajime Ishihara, 鈴木 有祐, Hajime Ishihara, Hajime Ishihara]
通讯作者： Hajime Ishihara
The Hahn-Banach theorem, constructively revisited
建设性地重新审视哈恩-巴纳赫定理
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio and Thomas Streicher, Hajime Ishihara, 鈴木 有祐, Hajime Ishihara, Hajime Ishihara, 鈴木　有祐, Hajime Ishihara, Hajime Ishihara, Yusuke Suzuki, Hajime Ishihara, Yusuke Suzuki, Hajime Ishihara]
通讯作者： Hajime Ishihara
Reverse mathematics of non-deterministic inductive definitions
非确定性归纳定义的逆向数学
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio and Thomas Streicher, Hajime Ishihara, 鈴木 有祐, Hajime Ishihara]
通讯作者： Hajime Ishihara
パドヴァ大学(イタリア)
帕多瓦大学（意大利）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 12 条
    A regional policy theory study on the formulation of Land Use Plans based on Basic Law for Urban Agriculture Promotion
    • 批准号：
      15H06741
    • 项目类别：
      Grant-in-Aid for Research Activity Start-up
    • 资助金额：
      $1.91万
    • 财政年份：
      2015
    • 负责人：
      ISHIHARA Hajime
    • 依托单位：
      Osaka Sangyo University
    Theoretical study of the conversion mechanism between infrared incoherent sunlight and visible coherent light
    Theoretical study of unconventional nonlinear excitation processes of quantum mechanically coupled antenna - nanostructure systems
    • 批准号：
      25610077
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.5万
    • 财政年份：
      2013
    • 负责人：
      ISHIHARA Hajime
    • 依托单位：
      Osaka Prefecture University
    Proposal of novel scheme forphoton-energy harvesting and conversion based on the photosynthesis antenna systems
    • 批准号：
      23654105
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.5万
    • 财政年份：
      2011
    • 负责人：
      ISHIHARA Hajime
    • 依托单位：
      Osaka Prefecture University
    海外基金