We find two computability theoretic properties on the models
of a theory $T$ which hold if and only if $T$ is a counterexample to
Vaught's conjecture.