Stability results assuming tameness, monster model and continuity of nonsplitting
Abstract
Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let be a regular stability cardinal and let be the local character of -nonsplitting. The following holds: 1. When -nonforking is restricted to -limit models ordered by universal extensions, it enjoys invariance, monotonicity, uniqueness, existence, extension and continuity. It also has local character . This generalizes Vasey's result which assumed -superstability to obtain same properties but with local character . 2. There is such that if is stable in every cardinal between and , then has -symmetry while -nonforking in (1) has symmetry. In this case (a) has the uniqueness of -limit models: if are both -limit over some , then ; (b) any increasing chain of -saturated models of length has a -saturated union. These generalize VanDieren-Vasey's result and remove the symmetry assumption in Boney-VanDieren and Vasey's result. Under -tameness, the conclusions of (1), (2)(a)(b) are equivalent to having the -local character of -nonsplitting. Grossberg and Vasey gave eventual superstability criteria for tame AECs with a monster model. We remove the high cardinal threshold and reduce the cardinal jump between equivalent superstability criteria. We also add two new superstability criteria to the list: a weaker version of solvability and the boundedness of the -rank.
Keywords
Cite
@article{arxiv.2112.01572,
title = {Stability results assuming tameness, monster model and continuity of nonsplitting},
author = {Samson Leung},
journal= {arXiv preprint arXiv:2112.01572},
year = {2022}
}
Comments
56 pages, typos corrected