Disjoint non-forking amalgamation in stable AECs
The disjoint amalgamation property (DAP), which asserts that all spans of a class of models can be amalgamated with minimal intersection, is an important property in the context of abstract elementary classes, with connections to both Grossberg's question and Shelah's categoricity conjecture. We prove that, in a nice AEC $\mathbf{K}$ stable in $λ\geq \operatorname{LS}(\mathbf{K})$ with a strong enough independence relation, all high cofinality $λ$-limit models are disjoint (non-forking) amalgamation bases. $\textbf{Theorem.}$ Let $\mathbf{K}$ be an AEC stable in $λ$, where $\mathbf{K}_λ$ has…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.12439
curl -X POST /api/v1/records/arxiv/2601.12439/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.12439/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'