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 \ge |L|$. Then $S$ is complete (http://planetmath.org/FirstOrderTheories).

Title	Vaught’s test
Canonical name	VaughtsTest
Date of creation	2013-03-22 13:00:37
Last modified on	2013-03-22 13:00:37
Owner	Evandar (27)
Last modified by	Evandar (27)
Numerical id	7
Author	Evandar (27)
Entry type	Theorem
Classification	msc 03C35
Related topic	KappaCategorical