Superstability from categoricity in abstract elementary classes

被引:9
作者
Boney, Will [1 ]
Grossberg, Rami [2 ]
VanDieren, Monica M. [3 ]
Vasey, Sebastien [2 ]
机构
[1] Harvard Univ, Dept Math, Cambridge, MA 02138 USA
[2] Carnegie Mellon Univ, Dept Math Sci, Pittsburgh, PA 15213 USA
[3] Robert Morris Univ, Dept Math, Moon Township, PA USA
基金
美国国家科学基金会;
关键词
Abstract elementary classes; Categoricity; Superstability; Splitting; Coheir; Forking; NO MAXIMAL MODELS; INFINITARY THEORY; SUCCESSOR; PROPERTY; ORDER;
D O I
10.1016/j.apal.2017.01.005
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for nonsplitting, a particular notion of independence. We generalize their result as follows: given any abstract notion of independence for Galois (orbital) types over models, we derive that the notion satisfies a superstability property provided that the class is categorical and satisfies a weakening of amalgamation. This extends the Shelah Villaveces result (the independence notion there was splitting) as well as a result of the first and second author where the independence notion was coheir. The argument is in ZFC and fills a gap in the Shelah Villaveces proof. (c) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码:1383 / 1395
页数:13
相关论文
共 28 条