Abstract
It is proved that if T is an unstable (first-order) theory, λ>|T|+א0, then T has exactly 2 λ non-isomorphic models of cardinality λ. In fact we have stronger results: this is true for pseudo-elementary classes, and for almost every λ≧|T|+א1.
Original language | English |
---|---|
Pages (from-to) | 473-487 |
Number of pages | 15 |
Journal | Israel Journal of Mathematics |
Volume | 9 |
Issue number | 4 |
DOIs | |
State | Published - Feb 1971 |