A proof of Vaught's conjecture for \(\omega\)-stable theories (Q1070222): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q56551495, #quickstatements; #temporary_batch_1704701117765 |
||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q56551495 / rank | |||
Normal rank | |||
Revision as of 10:07, 8 January 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
