课题基金 / 基金详情

Study of theories with finitely many countable models.

Study of theories with finitely many countable models.
研究具有有限多个可数模型的理论。
批准号：
11640100
负责人：
TSUBOI Akito
金额：
$2.43万
依托单位：
University of Tsukuba.
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1999
资助国家：
日本
项目状态：
已结题
起止时间：
1999 至 2000
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11640100/
关键词：
modelstructurestability可算モデルペアノの公理一階論理式定義可能性

项目摘要

项目成果

TSUBOI Akito的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
We showed that the standard part of a nonstandard model of Peano Arithmetic is not implicitly defined using a certain kind of formula (which we call a simple a3-formula).We showed also that two simple theories are amalgamated if they satisfy a certain condition.
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
Akito TsuBoi and Kentare Wakai: "On interpretability of almost linear orderings,"Notre Dame Journal of Formal Logic. 39・3. 325-331 (1998)
Akito TsuBoi 和 Kentare Wakai：“论几乎线性排序的可解释性”，Notre Dame Journal of Formal Logic 39・3（1998）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Nobutaka Tsukada: "An ultrapower which does not preserve the truth of a II_2-sentence"Tsukuba Journal of Mathematics. 23・2. 225-228 (1999)
Nobutaka Tsukada：“不保留 II_2 句子真实性的超能力”筑波数学杂志 23・2（1999）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
西村泰一 (Hirokazu Nishimura): "Infinitesimal Calculus of Variations"International Journal of Theoretical Physics. 38・6. 1771-1782 (1999)
Hirokazu Nishimura：“变分的无穷小微积分”国际理论物理学杂志 38・6 1771-1782（1999）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Akito Tsuboi: "Random Amalgamation of Simple Theories"Math.Log.Quart.. 47. 45-50 (2001)
Akito Tsuboi：“简单理论的随机合并”Math.Log.Quart.. 47. 45-50 (2001)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 8 条
    Omitting Types Theorem and Infinite Combinatrics
    • 批准号：
      25400190
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.16万
    • 财政年份：
      2013
    • 负责人：
      TSUBOI Akito
    • 依托单位：
      University of Tsukuba
    Omitting types theorem and its application
    • 批准号：
      22540110
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.58万
    • 财政年份：
      2010
    • 负责人：
      TSUBOI Akito
    • 依托单位：
      University of Tsukuba
    Study of first order model theory and its application
    • 批准号：
      19540111
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.58万
    • 财政年份：
      2007
    • 负责人：
      TSUBOI Akito
    • 依托单位：
      University of Tsukuba
    A study of functional change of swallowing with ageing
    • 批准号：
      19592222
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.0万
    • 财政年份：
      2007
    • 负责人：
      TSUBOI Akito
    • 依托单位：
      Tohoku University
    国内基金
    海外基金
    Rh-N4位点催化醇类氧化反应的微观机制与构效关系研究
    • 批准号：
      22302208
    • 项目类别：
      青年科学基金项目
    • 资助金额：
      30.00万元
    • 批准年份：
      2023
    • 负责人：
      王翔
    • 依托单位：
      中国科学院化学研究所
    体内亚核小体图谱的绘制及其调控机制研究
    • 批准号：
      32000423
    • 项目类别：
      青年科学基金项目
    • 资助金额：
      24.0万元
    • 批准年份：
      2020
    • 负责人：
      温增麒
    • 依托单位：
      中国科学院生物物理研究所
    水稻H3K27me3标记基因的三维基因组结构解析及其调控抽穗期的机理研究
    • 批准号：
      32070612
    • 项目类别：
      面上项目
    • 资助金额：
      58.0万元
    • 批准年份：
      2020
    • 负责人：
      李兴旺
    • 依托单位：
      华中农业大学
    稻瘟病菌中蛋白激酶MoCK2参与附着胞极性生长影响致病性的初步探索
    • 批准号：
      32060597
    • 项目类别：
      地区科学基金项目
    • 资助金额：
      35.0万元
    • 批准年份：
      2020
    • 负责人：
      张连虎
    • 依托单位：
      江西农业大学