Definitions

Vaught's Condition

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
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT