Conjecture on the number of bi-embeddability classes of models of an age
Let be an age in a finite relational language, and let denote the bi-embeddability classes of countable structures with age . The bi-embeddability-class conjecture. The number is finite if and only if
if and only if 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.