Let $L$ be a first order language, and let $S$ be a set of $L$ -sentences with no finite models which is $\kappa$ -categorical for some $\kappa \geq |L|$ . Then $S$ is complete.
This is version 4 of Vaught's test, born on 2002-08-29, modified 2002-09-04.
Object id is 3391, canonical name is VaughtsTest.
Accessed 2202 times total.
