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. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a $λ$-stable AEC, where $\operatorname{LS}(\mathbf{K}) \leq λ$, $κ&lt; λ<sup>+$ is regular, and $\mathbf{K}<em>λ$ satisfies the amalgamation property. Let $\mathbf{K}&#39;$ is the class of all $(λ, δ)$-limit models where $\operatorname{cf}(δ) \geq κ$ (or any AC where $\mathbf{K}&#39; \subseteq \mathbf{K}</em>λ$ contains all such $(λ, δ)$-limit models when $\operatorname{cf}(δ) \geq κ$). Suppose also that there is an independence relation on $\mathbf{K}&#39;$ satisfying weak uniqueness, weak existence, universal continuity* in $\mathbf{K}<em>λ$, $(\geq κ)$-local character, and $(λ, θ)$-weak non-forking amalgamation in some regular $θ\in [κ, λ<sup>+)$. Let $δ_1, δ_2 &lt; λ<sup>+$ be limit with $\operatorname{cf}(δ_l) \geq κ$ for $l = 1, 2$. Then for all $M, N_1, N_2 \in \mathbf{K}</em>λ$, if $N_l$ is $(λ, δ<em>l)$-limit over $M$ for $l = 1, 2$, then $N_1 \underset{M}{\cong} N_2$. Moreover, if $K</em>λ$ also satisfies the joint embedding property, then for all $N_1, N_2 \in \mathbf{K}_λ$, if $N_l$ is $(λ, δ_l)$-limit for $l = 1, 2$, then $N_1 {\cong} N_2$. 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.