Related Searches
Definitions

Vaught's 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 $Gamma$ be such a set, in a language $mathfrak L$ with no finite models and assume it is $kappa$-categorical for some $kappa ge mathfrak |L|$. Then $Gamma$ is complete.

Search another word or see Vaught's Conditionon Dictionary | Thesaurus |Spanish