Long limit models are isomorphic assuming a splitting-like relation
Abstract
We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. Suppose is a -stable AEC, where , is regular, and satisfies the amalgamation property. Let is the class of all -limit models where (or any AC where contains all such -limit models when ). Suppose also that there is an independence relation on satisfying weak uniqueness, weak existence, universal continuity* in , -local character, and -weak non-forking amalgamation in some regular . Let be limit with for . Then for all , if is -limit over for , then . Moreover, if also satisfies the joint embedding property, then for all , if is -limit for , then . This generalises both Theorem 3.1 of arXiv:2503.11605 and Theorem 1.2 of arXiv:1508.04717 - the former to apply to independence relations that satisfy much weaker forms of uniqueness, extension, and non-forking amalagamation, and the latter to independence relations other than -non-splitting. As such, this generalises all other positive isomorphism results of limit models known to the author.
Cite
@article{arxiv.2511.18665,
title = {Long limit models are isomorphic assuming a splitting-like relation},
author = {Jeremy Beard},
journal= {arXiv preprint arXiv:2511.18665},
year = {2025}
}
Comments
44 pages. Key words and phrases: Limit models; Abstract Elementary Classes; Stability; Towers