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.
Original language | English |
---|---|
Pages (from-to) | 541-545 |
Number of pages | 5 |
Journal | Pacific Journal of Mathematics |
Volume | 34 |
Issue number | 2 |
DOIs | |
State | Published - Aug 1970 |