UNIDIMENSIONAL THEORIES ARE SUPERSTABLE

被引：44
|
作者：
HRUSHOVSKI, E [1 ]
机构：
[1] PRINCETON UNIV,PRINCETON,NJ 08544
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1990年 / 50卷 / 02期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0168-0072(90)90046-5
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
A first order theory T of power lambda is called unidemensional if any two lambda+-saturated models of T of the same (sufficiently large) cardinality are isomorphic. We prove here that such theories are superstable, solving a problem of Shelah. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.
引用
收藏
页码：117 / 138
页数：22
相关论文
共 50 条
12345