2 problems
Matching
Let be an elementary first-order theory, and consider its countable models up to isomorphism. Vaught's conjecture. The number of countable models of is either countable or…
Let be an age in a finite relational language, and let denote the bi-embeddability classes of countable structures with age…