Vaught's test
From Wikipedia, the free encyclopedia
For the result characterizing elementary substructures, see Tarski-Vaught test.
In mathematical logic, Vaught's test is a sufficient condition for the completeness of a set of sentences in a first order language. Let Γ be such a set, in a language 
with no finite models and assume it is κ-categorical for some 
. Then Γ is complete.
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
