Blanck, Rasmus (2011-05-10)
A theory formulated in a countable predicate calculus can have at most
2א0 nonisomorphic countable models. In 1961 R. L. Vaught [9] conjected
that if such a theory has uncountably many countable models, then it has
exactly ...