Submission date: 24 october 2019

Abstract:

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.

Mathematics Subject Classification: 03C15

Keywords and phrases:

Full text arXiv 1910.11230: pdf, ps.