The first order properties of products of algebraic systems, Fundamenta Mathematicae 47 (1959)

by S Feferman, R Vaught