Vaught conjecture

The Vaught conjecture, proposed by the logician Richman Vaught in the 1960s, pertains to the structure of countable models of complete first-order theories in mathematical logic. Specifically, it concerns the relationship between the number of countable models of a complete theory and the number of types over a set of parameters in that theory.