Login
This is a place holder for potential sponsor logos.
Vaught's test
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.
Vaught's test is owned by Matt Piatkus.
None.
