A study of sheaf models in constructive reverse mathematics

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

基本信息

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
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
  • 作者:
  • 通讯作者:
ルートヴィヒ・マクシミリアン大学ミュンヘン/ダルムシュタット工科大学(ドイツ)
慕尼黑路德维希马克西米利安大学/达姆施塔特工业大学(德国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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.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)
証明論的手法による構成的逆数学の体系の分類
使用证明理论方法对构造逆数学系统进行分类
  • 批准号:
    24K06823
  • 财政年份:
    2024
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
逆数学における分割順序数
逆数学中的划分序数
  • 批准号:
    22F21776
  • 财政年份:
    2022
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
幾何様相に基づく構成的逆数学の新展開
基于几何方面的构造逆数学的新进展
  • 批准号:
    22K03401
  • 财政年份:
    2022
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
模态 mu 计算和随机博弈的倒数数学方法:混合测试方法的创建和分析
  • 批准号:
    21H03392
  • 财政年份:
    2021
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
逆数学と組合せ理論
逆向数学和组合理论
  • 批准号:
    14F04780
  • 财政年份:
    2014
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
存在定理の一様証明可能性及び直観主義証明可能性に関する逆数学的解析
存在定理的一致可证明性和直觉可证明性的逆向数学分析
  • 批准号:
    14J04387
  • 财政年份:
    2014
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
高階算術における逆数学
高阶算术中的逆向数学
  • 批准号:
    11J03720
  • 财政年份:
    2011
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
逆数学プログラムの発展
逆向数学程序的开发
  • 批准号:
    11J01045
  • 财政年份:
    2011
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
逆数学のニュー・フロンティア
逆向数学新领域
  • 批准号:
    10F00804
  • 财政年份:
    2010
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了