On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\) (Q1101440): Difference between revisions

Let T be a complete first order theory. A model M of T is said to be strongly \(\aleph_{\epsilon}\)-saturated if (i) M is \(\aleph_{\epsilon}\)-saturated, i.e. every type which is almost over a finite subset of M is realized in M; and (ii) M is strongly \(\aleph_ 0\)-homogeneous, i.e. every two tuples realizing the same type in M are conjugate by an automorphism of M. The author proves that for every \(\aleph_{\alpha}\geq 2^{| T|}\) the number of strongly \(\aleph_{\epsilon}\)-saturated models of power \(\aleph_{\alpha}\) is \(2^{\aleph_{\alpha}}\) if T is unsuperstable, and \(\leq | \alpha |^{2^{| T|}}\) if T is superstable.