A proof of Vaught's conjecture for \(\omega\)-stable theories (Q1070222): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:07, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A proof of Vaught's conjecture for \(\omega\)-stable theories |
scientific article |
Statements
A proof of Vaught's conjecture for \(\omega\)-stable theories (English)
0 references
1984
0 references
The famous Vaught's conjecture is the statement that for any countable theory T in \(L_{\omega_ 1\omega}\) the number of isomorphism types of countable models of T is either \(2^{\aleph_ 0}\) or at most \(\aleph_ 0\). The question is still open even for theories in finitary logic. In the paper under review Vaught's conjecture is proved for T a first-order countable complete \(\omega\)-stable theory. The results of the paper are due to Shelah.
0 references
omega-stable theory
0 references
countable theory
0 references
countable models
0 references
