Martin's conjecture for \(\omega\)-stable theories (Q1077407): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Countable models of nonmultidimensional ℵ<sub>0</sub>-stable theories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The number of countable models / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A proof of Vaught's conjecture for \(\omega\)-stable theories / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf02760643 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2384937180 / rank | |||
Normal rank | |||
Latest revision as of 12:02, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Martin's conjecture for \(\omega\)-stable theories |
scientific article |
Statements
Martin's conjecture for \(\omega\)-stable theories (English)
0 references
1984
0 references
Suppose T is a complete \(L_{\omega \omega}\)-theory with less than \(2^{\aleph_ 0}\) countable models. It is shown that the \(L_ 1(T)\)- theory of any countable model is \(\aleph_ 0\)-categorical, where \(L_ 1(T)\) denotes the smallest fragment of \(L_{\omega_ 1\omega}\) containing \(L_{\omega \omega}\) and for each \(n\in \omega\), all complete n-types of T. The proof uses the analysis of the models of such a theory given by \textit{S. Shelah}, \textit{L. Harrington}, and \textit{M. Makkai} [Isr. J. Math. 49, 269-280 (1984; Zbl 0584.03021)].
0 references
categoricity
0 references
omega-stability
0 references
countable model
0 references
