Conjecture on the number of bi-embeddability classes of models of an age

About 7 years old · traced to

Let A\mathfrak A be an age in a finite relational language, and let Mod⁡(A)/≡\operatorname{Mod}(\mathfrak A)/{\equiv} denote the bi-embeddability classes of countable structures with age A\mathfrak A. The bi-embeddability-class conjecture. The number ∣Mod⁡(A)/≡∣|\operatorname{Mod}(\mathfrak A)/{\equiv}| is finite if and only if

∣Mod⁡(A)/≡∣=1|\operatorname{Mod}(\mathfrak A)/{\equiv}|=1

if and only if A\mathfrak A is cellular. This would classify exactly when an age has finitely many bi-embeddability classes; the conjecture is presented as an open problem and is attributed to work cited as sib.

References

Primary source

Samuel Braunfeld and Michael C. Laskowski, “Counting siblings in universal theories”, arXiv:1910.11230 (2021).

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.