The completeness of logic with the added quantifier "there are uncountable many" R. Vaught — 1964 Fundamenta Mathematicae
The first order properties of products of algebraic systems S. Feferman; R. Vaught — 1959 Fundamenta Mathematicae