权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Study of first order model theory and its application

一阶模型理论及其应用研究

基本信息

批准号：
19540111
负责人：
TSUBOI Akito
金额：
$ 2.58万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2007
资助国家：
日本
起止时间：
2007 至 2009
项目状态：
已结题

项目摘要

We extended Steinhorn's omitting types theorem. His theorem holds when the theory T is superstable. We weakened the assumption of superstablity to a weaker condition of supersimlicity. Steinhorn's original proof uses the notion of average types. Our proof does not use such a notion. First we proved a quite general result and then, by applying the result to a model of supersimple theory, we get the following extension of Steinhorn's result as a corollary :The result : Let L be a countable language and T a complete supersimple theory formulated in L. Let M be a countable model of Thaving an infinite independent (in the sense of forking) set. Suppose that M omits a complete type p over the empty set. Then there is a proper elementary extension N of M that also omits p.

推广了Steinhorn的省略类型定理。当理论T是超稳定时，他的定理成立。我们将超稳定性的假设弱化为一个更弱的超简单性条件。Steinhorn的原始证明使用了平均类型的概念。我们的证明没有使用这样的概念。首先证明了一个相当一般的结果，然后把这个结果应用到超单理论的一个模型上，得到了Steinhorn结果的如下推广：结果：设L是可数语言，T是在L中形成的完备超单理论。设M是T的可数模型，具有无穷独立（在分叉意义下）集。假设M在空集上省略了一个完全类型p。则M有一个适当的初等扩张N，它也省略了p。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Algebraic types and the number of countable models

代数类型和可数模型的数量

DOI：
发表时间：
2008
期刊：
影响因子：
0
作者：
Kobayashi;Makoto; Tsuboi;Akito;坪井明人(Akito Tsuboi);Makoto Kobayashi;Byunghan Kim;Akito Tsuboi;Akito Tsuboi;坪井明人;坪井明人;坪井明人;坪井明人
通讯作者：
坪井明人

An extension of Steinhorn's result on omitting types theorem

Steinhorn 省略类型定理结果的扩展

DOI：
发表时间：
2007
期刊：
影响因子：
0
作者：
Kobayashi;Makoto; Tsuboi;Akito;坪井明人(Akito Tsuboi);Makoto Kobayashi;Byunghan Kim;Akito Tsuboi;Akito Tsuboi;坪井明人;坪井明人;坪井明人;坪井明人;坪井明人
通讯作者：
坪井明人

A note on Steinhorn's omitting types theorem. (English)

关于斯坦霍恩省略类型定理的注释。