It is proved in this paper that the Hanf number mc of omitting complete types by models of complete countable theories is the same as that of omitting not necessarily complete type by models of a countable theory.
© Copyright 1974 Pacific Journal of Mathematics. All rights reserved.