# 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 (http://planetmath.org/FirstOrderTheories).

Title Vaught’s test VaughtsTest 2013-03-22 13:00:37 2013-03-22 13:00:37 Evandar (27) Evandar (27) 7 Evandar (27) Theorem msc 03C35 KappaCategorical