Independence results for uncountable superstable theories (Q582282): Difference between revisions

\textit{A. H. Lachlan} [Fundam. Math. 77, 9-20 (1972; Zbl 0268.02034)] proved that if T is countable, stable and Q(x) is a predicate of L(T) then: (ME) For all \(M_ 0<M_ 1\vDash T\) with \(Q(M_ 0)=Q(M_ 1)\) there is \(M_ 2>M_ 1\) with \(Q(M_ 2)=Q(M_ 1).\) It was not known if the assumption that T is countable were necessary. In the paper we prove the following: 1. There is a superstable T of power \(\kappa_ 1\) without (ME). 2. There is a stable T of power \(\aleph_ 1\) without (ME). \((\kappa_ 1\) is the minimal power of a partition of the real line into compact sets.) 3. If T is superstable, \(| T| <cov {\mathbb{K}}+b+\min (cov {\mathbb{L}},d)\), then (ME) holds. Also, under these assumptions, for every A there is \(M\supseteq A\) locally atomic over A. Here cov \({\mathbb{K}}\) (cov \({\mathbb{L}})\) is the minimal number of meager (Lebesgue negligible) sets covering \({\mathbb{R}}\), b is the minimal power of an unbounded \(F\subseteq^{\omega}\omega\), and d is the minimal power of a dominating \(F\subseteq^{\omega}\omega\).