Puneet Varma (Editor)

Łoś–Vaught test

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In model theory, a branch of mathematical logic, the Łoś–Vaught test is a criterion for a theory to be complete, unable to be augmented without becoming inconsistent. For theories in classical logic, this means that for every sentence the theory contains either the sentence or its negation but not both.

According to this test, if a satisfiable theory is κ-categorical (there exists an infinite cardinal κ such that it has only one model up to isomorphism of cardinality κ, with κ at least equal to the cardinality of its language) and in addition it has no finite model, then it is complete.

This theorem was proved independently by Jerzy Łoś (1954) and Robert L. Vaught (1954), after whom it is named.

References

Łoś–Vaught test Wikipedia