Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778182 | Annals of Pure and Applied Logic | 2017 | 13 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Will Boney, Rami Grossberg, Monica M. VanDieren, Sebastien Vasey,