A proof of Vaught's conjecture for \(\omega\)-stable theories (Q1070222)
From MaRDI portal
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
