该文研究了稳定性理论中两个基础的定义:可定义性和孤立性,得出了如下的一些结果:(i)A M B,M和B在A上独立,P是B上的型,如果P在M上可以定义,则P在任意包含A的模型上都可以定义.这是一个很有意思的结果,它反映了可定义性和独立性的关系.(...
详细信息
该文研究了稳定性理论中两个基础的定义:可定义性和孤立性,得出了如下的一些结果:(i)A M B,M和B在A上独立,P是B上的型,如果P在M上可以定义,则P在任意包含A的模型上都可以定义.这是一个很有意思的结果,它反映了可定义性和独立性的关系.(ii)只有有限多个不分叉扩充的孤立型所对应的强型可以被包含该孤立型参数集的任意一个模型中的元素实现.(iii)在稳定性理论中,每个型都可以表示为一个平均型,并可以在某个无限不可辨的集合上定义.(iv)几乎饱和模型的扩充上存在几乎孤立的型.接着我们又对一个更广泛的理论—单纯理论进行了研究,得到了下面的结果:(v)在单纯理论中,任何代数型的扩充都是不分叉扩充.(vi)可驻的孤立完全型是分叉的.
暂无评论