课题基金 / 基金详情

Omitting Types Theorem and Infinite Combinatrics

Omitting Types Theorem and Infinite Combinatrics
省略类型定理和无限组合
批准号：
25400190
负责人：
TSUBOI Akito
金额：
$3.16万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25400190/
关键词：
数理論理学モデル理論モデル随伴理論平面グラフ意味論モデル完全性グラフ安定性理論一様樹形図Erdos-RadoRamsey無限組み合わせ論

项目摘要

项目成果

TSUBOI Akito的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
ロジックの部屋
逻辑室
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Model companions of theories of graph
图论的模型伴侣
DOI： 10.1002/malq.201400019
发表时间： 2015
期刊： Mathematical Logic Quarterly
影响因子： 0.3
作者： [K. Takeuchi, Y. Tanaka and A. Tsuboi]
通讯作者： Y. Tanaka and A. Tsuboi
On the number of independent strict orders
关于独立严格命令的数量
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Kota Takeuchi, Yu-ichi Tanaka and Akito Tsuboi, Takayuki Kuriyama and Kota Takeuchi, Akito Tsuboi]
通讯作者： Akito Tsuboi
Infinite Monochromatic Subgraphs
无限单色子图
DOI： --
发表时间： 2016
期刊： RIMS Kokyuroku (Model theoretic aspects of the notion of independence and dimension)
影响因子： --
作者： [和田達明, 鹿野豊, Tatsuaki Wada and Antonio M. Scarfone, 和田 達明, 和田 達明, Akito Tsuboi]
通讯作者： Akito Tsuboi
共 9 条
    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
    Infinite Method in Finite Model Theory and its application for aiming to solve Lachlan's conjecture.
    • 批准号：
      15540104
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.05万
    • 财政年份：
      2003
    • 负责人：
      TSUBOI Akito
    • 依托单位：
      University of Tsukuba
    海外基金