Independence results for uncountable superstable theories (Q582282): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
\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\). | |||
Property / review text: \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\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4130356 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conservative extensions and the two cardinal theorem for stable theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A two cardinal theorem for sets of formulas in a stable theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3715106 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A property of stable theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5675711 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3887452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Properties of Measure and Category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On partitions of the real line into compact sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification theory and the number of non-isomorphic models / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:14, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Independence results for uncountable superstable theories |
scientific article |
Statements
Independence results for uncountable superstable theories (English)
0 references
1989
0 references
\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\).
0 references