(Cambridge University Press, 2022-01-10) Braunfield, Samuel; Laskowski, Michael C.
We show that if a countable structure M in a finite relational language is not cellular, then there is an age-preserving N⊇M
such that 2ℵ0
many structures are bi-embeddable with N. The proof proceeds by a case division based on mutual algebraicity.
