Łoś–Vaught test (source code)

= Łoś–Vaught test
{wiki=Łoś–Vaught_test}

The Łoś–Vaught test is a criterion in model theory, specifically concerning the classification of theories based on their stability and other properties. It was introduced by the mathematicians Jan Łoś and Wilfrid Vaught. In general, the Łoś–Vaught test addresses the existence of certain types of partitions of the set of types over a model.