Grossberg's eventual amalgamation conjecture for abstract elementary classes

Let λ\lambda be a cardinal. For an abstract elementary class (AEC) K\boldsymbol{K}, write LS(K)\operatorname{LS}(\boldsymbol{K}) for its Löwenheim–Skolem number, and say that K\boldsymbol{K} has the μ\mu-amalgamation property when amalgamation holds in cardinality μ\mu. Grossberg's conjecture. For every λ\lambda, there is a cardinal μ(λ)\mu(\lambda) such that every AEC K\boldsymbol{K} with the μ(LS(K))\mu(\operatorname{LS}(\boldsymbol{K}))-amalgamation property has the λ\lambda-amalgamation property for all λμ(LS(K))\lambda\geq\mu(\operatorname{LS}(\boldsymbol{K})). The paper presents this as a question about eventual amalgamation in AECs; the supplied excerpt does not state whether the conjecture is resolved.

Sources & referencesView supporting material

Primary source

Will Boney and Ioannis Souldatos, “A Lower Bound for the Hanf Number for Joint Embedding”, arXiv:1808.03017 (2022).

Additional references

2 papers in this index state this conjecture (2015–2018). The statement above is taken from the most recent of them; the others are arXiv:1511.09112.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.