课题基金 / 基金详情

O-minimal structures

O-minimal structures
O-最小结构
批准号：
261961-2008
负责人：
Speissegger, Patrick
金额：
$1.75万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2010
资助国家：
加拿大
项目状态：
已结题
起止时间：
2010-01-01 至 2011-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=456189
关键词：
minimalstructures

项目摘要

项目成果

Speissegger, Patrick的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Mathematical logic has long played a role in delineating between what is formally possible and impossible. For example, Gödel's incompleteness theorem shows that no consistent formal system sophisticated enough to prove simple theorems in mathematics can demonstrate its own consistency. This type of result places a limit on the scope of what is formally knowable in mathematics. In recent years, model theorists have taken on a constructivist approach to the use of logic inside mathematics. Working below the "Gödel barrier'', they have formalized simple properties of structures that have desirable finiteness properties and which, at the same time, give rise to a rich collection of definable sets.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.91万
  • 财政年份：
    2022
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2021
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2020
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2019
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
国内基金
海外基金
飞行器板壳结构红外热波无损检测基础理论和关键技术的研究
  • 批准号：
    60672101
  • 项目类别：
    面上项目
  • 资助金额：
    26.0万元
  • 批准年份：
    2006
  • 负责人：
    郭兴旺
  • 依托单位：
    北京航空航天大学
新型嘧啶并三环化合物的合成研究
  • 批准号：
    20572032
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2005
  • 负责人：
    柏旭
  • 依托单位：
    吉林大学
磁层重联区相干结构动力学过程的观测研究