Skip to main content
3 of 3
fixed a stray missed word order from the last edit
Idran
  • 131
  • 3

For every $n \in \mathbb{N}$, there is a countable complete theory with exactly $n$ models (up to isomorphism) of cardinality $\aleph_0$, if and only if $n \neq 2$.

This is known as "Vaught's never 2 theorem".

Related reading: spectrum of a theory, Vaught conjecture.

user76284
  • 2.2k
  • 15
  • 24