刷新
{{item.name}}会员
Omitting Types Theorem and Infinite Combinatrics
省略类型定理和无限组合
基本信息
- 批准号：25400190
- 负责人：
- 金额：$ 3.16万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Model companions of theories of graph
图论的模型伴侣
- DOI：10.1002/malq.201400019
- 发表时间：2015
- 期刊：
- 影响因子：0.3
- 作者：K. Takeuchi;Y. Tanaka and A. Tsuboi
- 通讯作者：Y. Tanaka and A. Tsuboi
On the number of independent strict orders
关于独立严格命令的数量
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Kota Takeuchi;Yu-ichi Tanaka and Akito Tsuboi;Takayuki Kuriyama and Kota Takeuchi;Akito Tsuboi
- 通讯作者：Akito Tsuboi
Infinite Monochromatic Subgraphs
无限单色子图
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：和田達明;鹿野豊;Tatsuaki Wada and Antonio M. Scarfone;和田 達明;和田 達明;Akito Tsuboi
- 通讯作者：Akito Tsuboi
A construction of real closed fields
真实封闭域的构建
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0.3
- 作者：Y. Tanaka and A. Tsuboi
- 通讯作者：Y. Tanaka and A. Tsuboi
{{
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 }}
TSUBOI Akito其他文献
TSUBOI Akito的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('TSUBOI Akito', 18)}}的其他基金
Omitting types theorem and its application
省略类型定理及其应用
- 批准号：
22540110 - 财政年份：2010
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study of first order model theory and its application
一阶模型理论及其应用研究
- 批准号：
19540111 - 财政年份：2007
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A study of functional change of swallowing with ageing
吞咽功能随衰老变化的研究
- 批准号：
19592222 - 财政年份：2007
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Infinite Method in Finite Model Theory and its application for aiming to solve Lachlan's conjecture.
有限模型理论中的无限方法及其应用，旨在解决拉克兰猜想。
- 批准号：
15540104 - 财政年份：2003
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A basic study of the facial muscle function applied to the physical and psychological rehabilitation
面部肌肉功能应用于身心康复的基础研究
- 批准号：
14571835 - 财政年份：2002
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Simplicity and Amalgamation in Model Theory
模型理论的简单性和融合
- 批准号：
13640099 - 财政年份：2001
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study of theories with finitely many countable models.
研究具有有限多个可数模型的理论。
- 批准号：
11640100 - 财政年份：1999
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
A statistical decision theory of cognitive capacity
认知能力的统计决策理论
- 批准号：
DP240101511 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Discovery Projects
極小モデル理論を用いた正規アフィン代数曲面の構造と対数的多重種数に関する研究
利用最小模型理论研究正则仿射代数面与对数重属的结构
- 批准号：
24K06684 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
CAREER: Complexity Theory of Quantum States: A Novel Approach for Characterizing Quantum Computer Science
职业：量子态复杂性理论：表征量子计算机科学的新方法
- 批准号：
2339116 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Continuing Grant
Problems in Regularity Theory of Partial Differential Equations
偏微分方程正则论中的问题
- 批准号：
2350129 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Standard Grant
SBE-UKRI: A Novel Theory of Ordered Judgment Processes
SBE-UKRI：有序判断过程的新颖理论
- 批准号：
2343580 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Continuing Grant
Combinatorial Representation Theory of Quantum Groups and Coinvariant Algebras
量子群与协变代数的组合表示论
- 批准号：
2348843 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Standard Grant
MCA: Towards a Theory of Engineering Identity Development & Persistence of Minoritized Students with Imposter Feelings: A Longitudinal Mixed-methods Study of Developmental Networks
MCA：迈向工程身份发展理论
- 批准号：
2421846 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Standard Grant
CAREER: A Unified Theory of Private Control Systems
职业：私人控制系统的统一理论
- 批准号：
2422260 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Continuing Grant
SBE-UKRI:A Novel Theory of Ordered Judgment Processes
SBE-UKRI:有序判断过程的新颖理论
- 批准号：
ES/Z000084/1 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Research Grant
A general continuum theory of polycrystalline materials
多晶材料的一般连续介质理论
- 批准号：
EP/X037800/1 - 财政年份：2024
- 资助金额：
$ 3.16万 - 项目类别：
Research Grant