A study of sheaf models in constructive reverse mathematics

构造逆向数学中的层模型研究

基本信息

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
The binary expansion and the intermediate value theorem in constructive reverse mathematics
  • DOI：
    10.1007/s00153-018-0627-2
  • 发表时间：
    2019-02-01
  • 期刊：
    ARCHIVE FOR MATHEMATICAL LOGIC
  • 影响因子：
    0.3
  • 作者：
    Berger, Josef;Ishihara, Hajime;Nemoto, Takako
  • 通讯作者：
    Nemoto, Takako
Constructive reverse mathematics: an introduction and recent results
构造性逆向数学：简介和最新结果
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hajime Ishihara;Maria Emilia Maietti;Samuele Maschio and Thomas Streicher;Hajime Ishihara;鈴木 有祐;Hajime Ishihara
  • 通讯作者：
    Hajime Ishihara
パドヴァ大学(イタリア)
帕多瓦大学（意大利）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

ISHIHARA Hajime其他文献

ISHIHARA Hajime的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('ISHIHARA Hajime', 18)}}的其他基金

A regional policy theory study on the formulation of Land Use Plans based on Basic Law for Urban Agriculture Promotion
基于都市农业促进基本法的土地利用规划制定区域政策理论研究
  • 批准号：
    15H06741
  • 财政年份：
    2015
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up
Theoretical study of the conversion mechanism between infrared incoherent sunlight and visible coherent light
红外非相干太阳光与可见相干光转换机理的理论研究
  • 批准号：
    15K13505
  • 财政年份：
    2015
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Theoretical study of unconventional nonlinear excitation processes of quantum mechanically coupled antenna - nanostructure systems
量子机械耦合天线-纳米结构系统非常规非线性激励过程的理论研究
  • 批准号：
    25610077
  • 财政年份：
    2013
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Proposal of novel scheme forphoton-energy harvesting and conversion based on the photosynthesis antenna systems
提出基于光合作用天线系统的光子能量收集和转换的新方案
  • 批准号：
    23654105
  • 财政年份：
    2011
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Study of novel photonic functions in nano-to-bulk crossover regime
纳米与块体交叉体系中新型光子功能的研究
  • 批准号：
    21340085
  • 财政年份：
    2009
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Reverse Mathematics in Constructive Mathematics
构造数学中的逆向数学
  • 批准号：
    19500012
  • 财政年份：
    2007
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Theoretical study of photo-functions of polymer system with nanoscale polarization orientational structure
纳米级偏振取向结构聚合物体系光功能的理论研究
  • 批准号：
    16540286
  • 财政年份：
    2004
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Computability and Complexity in Constructive Mathematics
构造数学中的可计算性和复杂性
  • 批准号：
    15500005
  • 财政年份：
    2003
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Study of size dependence of optical response due to nanoscale spatial structure of the response field
由于响应场的纳米级空间结构而研究光学响应的​​尺寸依赖性
  • 批准号：
    14540301
  • 财政年份：
    2002
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Theoretical Research of Optical Pulse Response of Quantum Confined Excitons
量子约束激子光脉冲响应的理论研究
  • 批准号：
    09640396
  • 财政年份：
    1997
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
模态 mu 计算和随机博弈的倒数数学方法：混合测试方法的创建和分析
  • 批准号：
    23K21641
  • 财政年份：
    2024
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
流体科学における結果から原因を直接予測する数理モデル逆解析法の開発
开发从流体科学结果直接预测原因的数学模型逆分析方法
  • 批准号：
    24K08152
  • 财政年份：
    2024
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
データ同化の信頼性向上に向けた時間逆向き数値計算法の確立と地震学への応用展開
建立时间反演数值计算方法提高资料同化的可靠性及其在地震学中的应用
  • 批准号：
    24K02951
  • 财政年份：
    2024
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
証明論的手法による構成的逆数学の体系の分類
使用证明理论方法对构造逆数学系统进行分类
  • 批准号：
    24K06823
  • 财政年份：
    2024
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
New frontiers in reverse mathematics with the multidimensional perspective
多维视角逆向数学新领域
  • 批准号：
    23K03193
  • 财政年份：
    2023
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了