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

共 22 条

[1]

Baldwin J. T., 1976, Journal of the Australian Mathematical Society, Series A (Pure Mathematics), V21, P267

[2] STRONGLY MINIMAL SETS [J].