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.
New to topics? Read the docs here!