A note on hanf numbers

Abstract

We show that for every (formula presented), there is a theory T and set of types P in a language of power κ, such that there is a model of T which omits every pλP of power κ if and only if (formula presented). We also disprove a conjecture of Morley on the existence of algebraic elements. © 1970 by Pacific Journal of Mathematics.