课题基金 / 基金详情

Simplicity and Amalgamation in Model Theory

Simplicity and Amalgamation in Model Theory
模型理论的简单性和融合
批准号：
13640099
负责人：
TSUBOI Akito
金额：
$2.11万
依托单位：
Institute of Mathematics, University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2001
资助国家：
日本
项目状态：
已结题
起止时间：
2001 至 2002
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13640099/
关键词：
Model TheorySimple TheoryPeano Arithmetic単純性

项目摘要

项目成果

TSUBOI Akito的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Let M be a model of PA and l≠ω be an initial segment of M. Let L_0 be the language for additive ordered groups.Then, there is a model N of PA such that(a) M＼L_0 = N＼L_0,(b) x ・^M x = x ・^N x if and only if x ・^M ∈xI.If I is closed under ・^M the second condition can be replaced by2'. x ・^M x = x ・^N x if and only if x ∈ I,
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
Masahiro Shioya: "Generating the club filter on $P_\kappa\lambda$"Topology and its Applications. 122. 415-419 (2002)
Masahiro Shioya：“在 $P_kappalambda$ 上生成俱乐部过滤器”拓扑及其应用。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Akito TSUBOI, Masahiko MURAKAMI: "Expanding the additive reduct of a model of peano arithmatic"MLQ. 49・3(to appear). (2003)
Akito TSUBOI、Masahiko MURAKAMI：“扩展皮亚诺算术模型的加法约简”MLQ 49·3（待发表）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Akito Tsuboi, M.Murakami: "Expanding the additive reduct of a model of Peano arithmetic"MLQ. 49,3. (2003)
Akito Tsuboi，M.Murakami：“扩展皮亚诺算术模型的加法约简”MLQ。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
坪 井 明 人(Akito Tsuboi): "Random Amalgamation of Simple Theories"Math. Log. Quart.. 47. 45-50 (2001)
Akito Tsuboi：“简单理论的随机合并”数学日志。47. 45-50 (2001)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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