Denumerable models of complete theories,” Infinitistic Methods (1959)

by R L Vaught
Venue:Proceedings of the Symposium on Foundations of Mathematics